![]() |
![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |