<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> <http://tbx2rdf.lider-project.eu/tbx#reliabilityCode> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/ns/lemon/ontolex#LexicalEntry> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> <http://www.w3.org/ns/lemon/ontolex#language> <http://www.lexvo.org/page/iso639-3/eng> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> <http://www.w3.org/ns/lemon/ontolex#sense> <http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en#Sense> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> <http://www.w3.org/ns/lemon/ontolex#canonicalForm> <http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en#CanonicalForm> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> <http://www.lexinfo.net/ontology/2.0/lexinfo#termType> <http://tbx2rdf.lider-project.eu/tbx#abbreviation> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en#CanonicalForm> <http://www.w3.org/ns/lemon/ontolex#writtenRep> "3-SAT"@en .
<http://tbx2rdf.lider-project.eu/data/iate/en> <http://www.w3.org/ns/lemon/ontolex#entry> <http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en> .
<http://tbx2rdf.lider-project.eu/data/iate/3-SAT-en#Sense> <http://www.w3.org/ns/lemon/ontolex#reference> <http://tbx2rdf.lider-project.eu/data/iate/IATE-387836> .