|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 691-691 | Developing country is an economy type of nigeria |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 692-692 | Developing country is an economy type of oman |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 693-693 | Developing country is an economy type of pakistan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 694-694 | Developing country is an economy type of panama |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 695-695 | Developing country is an economy type of papua new guinea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 696-696 | Developing country is an economy type of paraguay |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 697-697 | Developing country is an economy type of peru |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 698-698 | Developing country is an economy type of philippines |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 699-699 | Developing country is an economy type of qatar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 700-700 | Developing country is an economy type of rwanda |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 701-701 | Developing country is an economy type of saint kitts and nevis |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 702-702 | Developing country is an economy type of saint lucia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 703-703 | Developing country is an economy type of saint vincent and the grenadines |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 704-704 | Developing country is an economy type of samoa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 705-705 | Developing country is an economy type of sao tome and principe |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 706-706 | Developing country is an economy type of saudi arabia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 707-707 | Developing country is an economy type of senegal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 708-708 | Developing country is an economy type of seychelles |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 709-709 | Developing country is an economy type of sierra leone |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 710-710 | Developing country is an economy type of solomon islands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 711-711 | Developing country is an economy type of somalia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 712-712 | Developing country is an economy type of south africa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 713-713 | Developing country is an economy type of sri lanka |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 714-714 | Developing country is an economy type of sudan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 715-715 | Developing country is an economy type of suriname |
| 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