No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15010	子類 行業 and Collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5342-5342	子類 內陸水系統 and Collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 1675-1675	子類 Meal and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14449-14449	子類 MediaSystem and Collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 957-957	子類 商船 and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-713	子類 MonoploidChromosomeSet and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4486-4486	子類 MultivariateTest and Collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 464-464	子類 Outfit and Collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3773-3773	子類 RemoteKeylessSystem and Collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5510-5510	子類 河流系統 and Collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 138-138	子類 RoomInventory and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 669-669	子類 腳本 and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11480-11480	子類 頭骨 and Collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3362-3362	子類 太陽系 and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26961	子類 SurveillanceSystem and Collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2049-2049	子類 火車 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1126-1126	子類 VisitorProfile and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 133-133	子類 WebListingCategory and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2119-2119	子類 WebStore and 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