No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15010	行业 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5342-5342	内陆水系统 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1675-1675	Meal 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14449-14449	MediaSystem 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 957-957	商船 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-713	MonoploidChromosomeSet 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4486-4486	MultivariateTest 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 464-464	Outfit 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3773-3773	RemoteKeylessSystem 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5510-5510	河流系统 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 138-138	RoomInventory 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 669-669	脚本 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11480-11480	头骨 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3362-3362	太阳系 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26961	SurveillanceSystem 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2049-2049	火车 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1126-1126	VisitorProfile 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 133-133	WebListingCategory 是 群体 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2119-2119	WebStore 是 群体 的 subclass
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