No TPTP formula. May not be expressible in strict first order.	Dining.kif 880-880	Le nombre 2 argument de contestObject est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Music.kif 1107-1107	Le nombre 3 argument de contestParticipantRepresentation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3724-3724	Le nombre 1 argument de contrastRatio est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23429-23429	Le nombre 2 argument de controlled est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3847-3847	Le nombre 1 argument de copy est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3848-3848	Le nombre 2 argument de copy est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29744-29744	Le nombre 1 argument de covers est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29745-29745	Le nombre 2 argument de covers est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 993-993	Le nombre 1 argument de dateUsed est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24298-24298	Le nombre 2 argument de deathplace est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16148-16148	Le nombre 2 argument de describes est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Justice.kif 19-19	Le nombre 3 argument de detainedAtTimeInPlace est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1878-1878	Le nombre 1 argument de deviceState est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2600-2600	Le nombre 2 argument de discovers est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7426-7426	Le nombre 2 argument de dislikes est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2778-2778	Le nombre 1 argument de earthAltitude est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1891-1891	Le nombre 1 argument de elevation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24309-24309	Le nombre 1 argument de equipmentCount est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4097-4097	Le nombre 2 argument de eventPartlyLocated est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15723-15723	Le nombre 2 argument de experimentalControl est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3928-3928	Le nombre 1 argument de exploits est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16954-16954	Le nombre 1 argument de faces est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 330-330	Le nombre 2 argument de facility est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10023-10023	Le nombre 1 argument de fills est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23852-23852	Le nombre 2 argument de financialAsset est une instance de objet
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners