No TPTP formula. May not be expressible in strict first order.	Economy.kif 716-716	Developing country is an economy type of swaziland
No TPTP formula. May not be expressible in strict first order.	Economy.kif 717-717	Developing country is an economy type of syria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 718-718	Developing country is an economy type of tanzania
No TPTP formula. May not be expressible in strict first order.	Economy.kif 719-719	Developing country is an economy type of thailand
No TPTP formula. May not be expressible in strict first order.	Economy.kif 621-621	Developing country is an economy type of the bahamas
No TPTP formula. May not be expressible in strict first order.	Economy.kif 720-720	Developing country is an economy type of togo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 721-721	Developing country is an economy type of trinidad and tobago
No TPTP formula. May not be expressible in strict first order.	Economy.kif 722-722	Developing country is an economy type of tunisia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 723-723	Developing country is an economy type of turkey
No TPTP formula. May not be expressible in strict first order.	Economy.kif 725-725	Developing country is an economy type of uganda
No TPTP formula. May not be expressible in strict first order.	Economy.kif 724-724	Developing country is an economy type of united arab emirates
No TPTP formula. May not be expressible in strict first order.	Economy.kif 726-726	Developing country is an economy type of uruguay
No TPTP formula. May not be expressible in strict first order.	Economy.kif 727-727	Developing country is an economy type of vanuatu
No TPTP formula. May not be expressible in strict first order.	Economy.kif 728-728	Developing country is an economy type of venezuela
No TPTP formula. May not be expressible in strict first order.	Economy.kif 729-729	Developing country is an economy type of vietnam
No TPTP formula. May not be expressible in strict first order.	Economy.kif 730-730	Developing country is an economy type of yemen
No TPTP formula. May not be expressible in strict first order.	Economy.kif 731-731	Developing country is an economy type of zambia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 732-732	Developing country is an economy type of zimbabwe
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19314-19314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19313-19313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19312-19312

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