No TPTP formula. May not be expressible in strict first order.	Economy.kif 304-304	Less developed country is an economy type of netherlands antilles
No TPTP formula. May not be expressible in strict first order.	Economy.kif 305-305	Less developed country is an economy type of nicaragua
No TPTP formula. May not be expressible in strict first order.	Economy.kif 306-306	Less developed country is an economy type of niger
No TPTP formula. May not be expressible in strict first order.	Economy.kif 307-307	Less developed country is an economy type of nigeria
No TPTP formula. May not be expressible in strict first order.	Economy.kif 308-308	Less developed country is an economy type of oman
No TPTP formula. May not be expressible in strict first order.	Economy.kif 309-309	Less developed country is an economy type of pakistan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 310-310	Less developed country is an economy type of panama
No TPTP formula. May not be expressible in strict first order.	Economy.kif 311-311	Less developed country is an economy type of papua new guinea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 312-312	Less developed country is an economy type of paraguay
No TPTP formula. May not be expressible in strict first order.	Economy.kif 313-313	Less developed country is an economy type of peru
No TPTP formula. May not be expressible in strict first order.	Economy.kif 314-314	Less developed country is an economy type of philippines
No TPTP formula. May not be expressible in strict first order.	Economy.kif 315-315	Less developed country is an economy type of qatar
No TPTP formula. May not be expressible in strict first order.	Economy.kif 316-316	Less developed country is an economy type of rwanda
No TPTP formula. May not be expressible in strict first order.	Economy.kif 317-317	Less developed country is an economy type of saint kitts and nevis
No TPTP formula. May not be expressible in strict first order.	Economy.kif 318-318	Less developed country is an economy type of saint lucia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 319-319	Less developed country is an economy type of saint vincent and the grenadines
No TPTP formula. May not be expressible in strict first order.	Economy.kif 320-320	Less developed country is an economy type of samoa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 321-321	Less developed country is an economy type of sao tome and principe
No TPTP formula. May not be expressible in strict first order.	Economy.kif 322-322	Less developed country is an economy type of saudi arabia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 323-323	Less developed country is an economy type of senegal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 324-324	Less developed country is an economy type of seychelles
No TPTP formula. May not be expressible in strict first order.	Economy.kif 325-325	Less developed country is an economy type of sierra leone
No TPTP formula. May not be expressible in strict first order.	Economy.kif 326-326	Less developed country is an economy type of solomon islands
No TPTP formula. May not be expressible in strict first order.	Economy.kif 327-327	Less developed country is an economy type of somalia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 328-328	Less developed country is an economy type of south africa
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