<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr#Sense> <http://www.w3.org/ns/lemon/ontolex#reference> <http://tbx2rdf.lider-project.eu/data/iate/IATE-1007280> .
<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr> <http://tbx2rdf.lider-project.eu/tbx#reliabilityCode> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr> <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/DT+Coq-fr> <http://www.w3.org/ns/lemon/ontolex#language> <http://www.lexvo.org/page/iso639-3/fre> .
<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr> <http://www.w3.org/ns/lemon/ontolex#sense> <http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr#Sense> .
<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr> <http://www.w3.org/ns/lemon/ontolex#canonicalForm> <http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr#CanonicalForm> .
<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr> <http://www.lexinfo.net/ontology/2.0/lexinfo#termType> <http://tbx2rdf.lider-project.eu/tbx#abbreviation> .
<http://tbx2rdf.lider-project.eu/data/iate/en> <http://www.w3.org/ns/lemon/ontolex#entry> <http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr> .
<http://tbx2rdf.lider-project.eu/data/iate/DT+Coq-fr#CanonicalForm> <http://www.w3.org/ns/lemon/ontolex#writtenRep> "DT Coq"@fr .