No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15010	Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5342-5342	Inland water system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 1675-1675	Meal is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14449-14449	Media system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 957-957	Merchant marine is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-713	Monoploid chromosome set is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4486-4486	Multivariate test is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 464-464	Outfit is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3773-3773	Remote keyless system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5510-5510	River system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 138-138	Room inventory is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 669-669	Script is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11480-11480	Skull is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3362-3362	Solar system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26961	Surveillance system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2049-2049	Train is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1126-1126	Visitor profile is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 133-133	Web listing category is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2119-2119	Web store is a subclass of 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