|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 641-641 | Developing country is an economy type of dominica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 642-642 | Developing country is an economy type of dominican republic |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 643-643 | Developing country is an economy type of ecuador |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 644-644 | Developing country is an economy type of egypt |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 645-645 | Developing country is an economy type of el salvador |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 646-646 | Developing country is an economy type of equatorial guinea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 647-647 | Developing country is an economy type of ethiopia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 648-648 | Developing country is an economy type of fiji |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 649-649 | Developing country is an economy type of gabon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 650-650 | Developing country is an economy type of gambia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 651-651 | Developing country is an economy type of ghana |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 652-652 | Developing country is an economy type of grenada |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 653-653 | Developing country is an economy type of guatemala |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 654-654 | Developing country is an economy type of guinea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 655-655 | Developing country is an economy type of guinea bissau |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 656-656 | Developing country is an economy type of guyana |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 657-657 | Developing country is an economy type of haiti |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 658-658 | Developing country is an economy type of honduras |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 659-659 | Developing country is an economy type of india |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 660-660 | Developing country is an economy type of indonesia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 661-661 | Developing country is an economy type of iran |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 662-662 | Developing country is an economy type of iraq |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 663-663 | Developing country is an economy type of jamaica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 664-664 | Developing country is an economy type of jordan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 665-665 | Developing country is an economy type of kenya |
| 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