No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15010	Industry est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5342-5342	InlandWaterSystem est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 1675-1675	Meal est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14449-14449	MediaSystem est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 957-957	MerchantMarine est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-713	MonoploidChromosomeSet est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4486-4486	MultivariateTest est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 464-464	Outfit est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3773-3773	RemoteKeylessSystem est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5510-5510	RiverSystem est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 138-138	RoomInventory est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 669-669	Script est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11480-11480	Skull est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3362-3362	SolarSystem est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26961	SurveillanceSystem est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2049-2049	Train est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1126-1126	VisitorProfile est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 133-133	WebListingCategory est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2119-2119	WebStore est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 832-832
No TPTP formula. May not be expressible in strict first order.	english_format.kif 866-866
No TPTP formula. May not be expressible in strict first order.	french_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 40-40
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 43-43
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