|
|
  AdvancedEconomy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 529-533 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 527-527 | AdvancedEconomy e' uma instancia de IMFDevelopmentLevel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 535-535 | economyType Australia and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 536-536 | economyType Austria and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 537-537 | economyType Belgium and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 538-538 | economyType Canada and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 539-539 | economyType Denmark and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 540-540 | economyType Finland and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 541-541 | economyType France and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 542-542 | economyType Germany and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 543-543 | economyType Greece and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 544-544 | economyType HongKong and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 545-545 | economyType Iceland and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 546-546 | economyType Ireland and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 547-547 | economyType Israel and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 548-548 | economyType Italy and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 549-549 | economyType Japan and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 551-551 | economyType Luxembourg and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 552-552 | economyType Netherlands and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 553-553 | economyType NewZealand and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 554-554 | economyType Norway and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 555-555 | economyType Portugal and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 556-556 | economyType Singapore and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 550-550 | economyType SouthKorea and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 557-557 | economyType Spain and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 558-558 | economyType Sweden and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 559-559 | economyType Switzerland and AdvancedEconomy |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 388-390 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 747-749 |
|
|
|