No TPTP formula. May not be expressible in strict first order.	Geography.kif 3055-3055	Agreement organization is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1402-1402	Agri turkey is an instance of city
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6871-6871	Agricultural chemicals issue is an instance of environmental issue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6893-6893	Agricultural expansion issue is an instance of environmental issue
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1142-1142	Agricultural sector is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 920-920	Agriculture based economy is an instance of financial sector attribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 44-44	Agriculture forestry fishing and hunting is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3794-3794	Aguano language is an instance of unclassified spoken language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11544-11544	Aguaruna language is an instance of jivaroan language
No TPTP formula. May not be expressible in strict first order.	People.kif 1338-1338	Ahmadiyya sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order.	People.kif 495-495	Aimak ethnicity is an instance of ethnic group
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9181-9181	Aimaq language is an instance of persian language
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1404-1404	Ain defla algeria is an instance of city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1406-1406	Ain el hajar algeria is an instance of city
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2935-2935	Ainu japanese language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5117-5117	Ainu turkic language is an instance of eastern turkic language
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3144-3144	Air pollution- nitrogen oxides protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3150-3150	Air pollution- peristent organic pollutants protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3155-3155	Air pollution- sulphur85 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3161-3161	Air pollution- sulphur94 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3166-3166	Air pollution- volatile organic compounds protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3138-3138	Air pollution convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6835-6835	Air pollution issue is an instance of pollution issue
No TPTP formula. May not be expressible in strict first order.	naics.kif 7947-7947	Air transportation industry is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1772-1772	Standalone mode is an instance of device state attribute
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