No TPTP formula. May not be expressible in strict first order.	Geography.kif 6824-6824	Aerosol particulate issue is an instance of environmental issue
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5556-5556	Aetna is an instance of health insurance company
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14542-14542	Afar language is an instance of Cushitic language
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2883-2883	Afghan afghani is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 568-568	Afghanistan is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12488-12488	Afitti language is an instance of nyimang language
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1834-1834	Aflatoxicosis is an instance of life threatening disease
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3521-3521	Africa is an instance of continent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2747-2747	African caribbean and pacific group of states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1276-1276	African Cuisine is an instance of cuisine
No TPTP formula. May not be expressible in strict first order.	Government.kif 2753-2753	African development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8233-8233	Afrikaans language is an instance of low franconian language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1590-1590	Afro seminole creole language is an instance of north eastern atlantic english based creole language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8833-8833	Afternoon of is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8831-8831	Afternoon of is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8832-8832	Afternoon of is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1400-1400	Afula israel is an instance of city
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3786-3786	Agavotaguerra language is an instance of unclassified spoken language
No TPTP formula. May not be expressible in strict first order.	Government.kif 2761-2761	Agency for the french speaking community is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2773-2773	Agency for the prohibition of nuclear weapons in latin america and the caribbean is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	WMD.kif 86-86	Agent of organism fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13508-13508	Aghu indonesian language is an instance of aghu group language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5691-5691	Aghu tharnggalu language is an instance of rarmul pama language
No TPTP formula. May not be expressible in strict first order.	People.kif 699-699	Agnostic is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order.	People.kif 687-687	Agnosticism is an instance of belief group
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