No TPTP formula. May not be expressible in strict first order.	Economy.kif 329-329	Less developed country is an economy type of sri lanka
No TPTP formula. May not be expressible in strict first order.	Economy.kif 330-330	Less developed country is an economy type of sudan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 331-331	Less developed country is an economy type of suriname
No TPTP formula. May not be expressible in strict first order.	Economy.kif 332-332	Less developed country is an economy type of swaziland
No TPTP formula. May not be expressible in strict first order.	Economy.kif 333-333	Less developed country is an economy type of syria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 334-334	Less developed country is an economy type of tanzania
No TPTP formula. May not be expressible in strict first order.	Economy.kif 335-335	Less developed country is an economy type of thailand
No TPTP formula. May not be expressible in strict first order.	Economy.kif 237-237	Less developed country is an economy type of the bahamas
No TPTP formula. May not be expressible in strict first order.	Economy.kif 336-336	Less developed country is an economy type of togo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 337-337	Less developed country is an economy type of trinidad and tobago
No TPTP formula. May not be expressible in strict first order.	Economy.kif 338-338	Less developed country is an economy type of tunisia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 339-339	Less developed country is an economy type of turkey
No TPTP formula. May not be expressible in strict first order.	Economy.kif 341-341	Less developed country is an economy type of uganda
No TPTP formula. May not be expressible in strict first order.	Economy.kif 340-340	Less developed country is an economy type of united arab emirates
No TPTP formula. May not be expressible in strict first order.	Economy.kif 342-342	Less developed country is an economy type of uruguay
No TPTP formula. May not be expressible in strict first order.	Economy.kif 343-343	Less developed country is an economy type of vanuatu
No TPTP formula. May not be expressible in strict first order.	Economy.kif 344-344	Less developed country is an economy type of venezuela
No TPTP formula. May not be expressible in strict first order.	Economy.kif 345-345	Less developed country is an economy type of vietnam
No TPTP formula. May not be expressible in strict first order.	Economy.kif 346-346	Less developed country is an economy type of yemen
No TPTP formula. May not be expressible in strict first order.	Economy.kif 347-347	Less developed country is an economy type of zambia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 348-348	Less developed country is an economy type of zimbabwe
No TPTP formula. May not be expressible in strict first order.	Economy.kif 208-208	"Third World" is a former name for less developed country
No TPTP formula. May not be expressible in strict first order.	Economy.kif 351-351	Advanced developing country is a subattribute of less developed country
No TPTP formula. May not be expressible in strict first order.	Economy.kif 400-400	Least developed country is a subattribute of less developed country
No TPTP formula. May not be expressible in strict first order.	Economy.kif 393-393	Underdeveloped country is a subattribute of less developed country
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