No TPTP formula. May not be expressible in strict first order.	Cars.kif 3519-3532	Physique est une instance de ProtectiveEyewear physique a pour but physiqueRSON entit�, entit� and entit� physiqueRSON est une instance de animal entit� est une instance de Face entit� est une instance de Eye entit� est une partie de entit� entit� est une partie de physiqueRSON physiqueRSON porte physique entit� est une instance de couvrir entit� est un agent de physique entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15784-15789	Objet est une instance de pi�ce objet objet est une instance de immeuble objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4779-4781	Objet est une instance de Sea objet est une partie de WorldOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6096-6102	Objet est une instance de ContinentalShelf objet objet est une instance de ContinentalMargin objet est une partie de objet objet recouvre objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14280-14285	Objet est une instance de County objet objet est une instance de Etat ou province objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14259-14264	Objet est une instance de Etat ou province objet objet est une instance de nation objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11690-11700	Objet est une instance de Exoskeleton objet objet est une instance de animal objet est une partie de objet objet objet est une partie de objet objet est Outside � objet

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