|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 666-666 | Developing country is an economy type of kiribati |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 667-667 | Developing country is an economy type of kuwait |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 668-668 | Developing country is an economy type of laos |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 669-669 | Developing country is an economy type of lebanon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 670-670 | Developing country is an economy type of lesotho |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 671-671 | Developing country is an economy type of liberia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 672-672 | Developing country is an economy type of libya |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 673-673 | Developing country is an economy type of madagascar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 674-674 | Developing country is an economy type of malawi |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 675-675 | Developing country is an economy type of malaysia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 676-676 | Developing country is an economy type of maldives |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 677-677 | Developing country is an economy type of mali |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 678-678 | Developing country is an economy type of malta |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 679-679 | Developing country is an economy type of marshall islands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 680-680 | Developing country is an economy type of mauritania |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 681-681 | Developing country is an economy type of mauritius |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 682-682 | Developing country is an economy type of mexico |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 683-683 | Developing country is an economy type of micronesia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 684-684 | Developing country is an economy type of morocco |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 685-685 | Developing country is an economy type of mozambique |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 686-686 | Developing country is an economy type of namibia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 687-687 | Developing country is an economy type of nepal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 688-688 | Developing country is an economy type of netherlands antilles |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 689-689 | Developing country is an economy type of nicaragua |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 690-690 | Developing country is an economy type of niger |
| 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