<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es#Sense> <http://www.w3.org/ns/lemon/ontolex#reference> <http://tbx2rdf.lider-project.eu/data/iate/IATE-321014> .
<http://tbx2rdf.lider-project.eu/data/iate/en> <http://www.w3.org/ns/lemon/ontolex#entry> <http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es> .
<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es#CanonicalForm> <http://www.w3.org/ns/lemon/ontolex#writtenRep> "deducción normal"@es .
<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es> <http://tbx2rdf.lider-project.eu/tbx#reliabilityCode> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es> <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/deducción+normal-es> <http://www.w3.org/ns/lemon/ontolex#language> <http://www.lexvo.org/page/iso639-3/spa> .
<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es> <http://www.w3.org/ns/lemon/ontolex#sense> <http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es#Sense> .
<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es> <http://www.w3.org/ns/lemon/ontolex#canonicalForm> <http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es#CanonicalForm> .
<http://tbx2rdf.lider-project.eu/data/iate/deducción+normal-es> <http://www.lexinfo.net/ontology/2.0/lexinfo#termType> <http://www.lexinfo.net/ontology/2.0/lexinfo#fullForm> .