| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 606-611 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 604-604 | Developing country is an instance of IMF development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | Developing country is an immediate successor attribute of country in transition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 615-615 | Developing country is an economy type of afghanistan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 616-616 | Developing country is an economy type of algeria |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 617-617 | Developing country is an economy type of angola |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 618-618 | Developing country is an economy type of antigua and barbuda |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 619-619 | Developing country is an economy type of argentina |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 620-620 | Developing country is an economy type of aruba |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 622-622 | Developing country is an economy type of bahrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 623-623 | Developing country is an economy type of bangladesh |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 624-624 | Developing country is an economy type of barbados |
| 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 626-626 | Developing 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 628-628 | Developing country is an economy type of cameroon |
| 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 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 631-631 | Developing 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 633-633 | Developing country is an economy type of china |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 634-634 | Developing country is an economy type of colombia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 635-635 | Developing country is an economy type of comoros |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 637-637 | Developing country is an economy type of costa rica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 638-638 | Developing country is an economy type of coteD ivoire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 639-639 | Developing country is an economy type of cyprus |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 636-636 | Developing country is an economy type of democratic republic of the congo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 640-640 | Developing country is an economy type of djibouti |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 613-613 | 126 is a cardinality of the class corresponding to developing country |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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