|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 240-240 | Less developed country is an economy type of barbados |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 577-577 | Country in transition is an economy type of belarus |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 537-537 | Advanced economy is an economy type of belgium |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 149-149 | Developed country is an economy type of belgium |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 625-625 | Developing country is an economy type of belize |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 241-241 | Less developed country is an economy type of belize |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 150-150 | Developed country is an economy type of bermuda |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 578-578 | Country in transition is an economy type of bosnia and herzegovina |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 579-579 | Country in transition is an economy type of bulgaria |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 626-626 | Developing country is an economy type of burundi |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 242-242 | Less developed country is an economy type of burundi |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 627-627 | Developing country is an economy type of cambodia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | Less developed country is an economy type of cambodia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 628-628 | Developing country is an economy type of cameroon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 244-244 | Less developed country is an economy type of cameroon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 538-538 | Advanced economy is an economy type of canada |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 151-151 | Developed country is an economy type of canada |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 629-629 | Developing country is an economy type of cape verde |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 245-245 | Less developed country is an economy type of cape verde |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 630-630 | Developing country is an economy type of central african republic |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 246-246 | Less developed country is an economy type of central african republic |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 631-631 | Developing country is an economy type of chad |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 247-247 | Less developed country is an economy type of chad |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 632-632 | Developing country is an economy type of chile |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | Less developed country is an economy type of chile |
| 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