|
|
  DevelopingCountry
|
|
|
| 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 | DevelopingCountry e' uma instancia de IMFDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | DevelopingCountry e' um atributo sucessor immediato de CountryInTransition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 615-615 | economyType Afghanistan and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 616-616 | economyType Algeria and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 617-617 | economyType Angola and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 618-618 | economyType AntiguaAndBarbuda and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 619-619 | economyType Argentina and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 620-620 | economyType Aruba and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 622-622 | economyType Bahrain and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 623-623 | economyType Bangladesh and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 624-624 | economyType Barbados and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 625-625 | economyType Belize and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 626-626 | economyType Burundi and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 627-627 | economyType Cambodia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 628-628 | economyType Cameroon and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 629-629 | economyType CapeVerde and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 630-630 | economyType CentralAfricanRepublic and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 631-631 | economyType Chad and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 632-632 | economyType Chile and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 633-633 | economyType China and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 634-634 | economyType Colombia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 635-635 | economyType Comoros and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 637-637 | economyType CostaRica and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 638-638 | economyType CoteDIvoire and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 639-639 | economyType Cyprus and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 636-636 | economyType DemocraticRepublicOfTheCongo and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 640-640 | economyType Djibouti and DevelopingCountry |
| 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 | cardinality a classe correspondente a DevelopingCountry and 126 |
|
|
|