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