| 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 | Advanced economy is an instance of IMF development level |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 535-535 | Advanced economy is an economy type of australia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 536-536 | Advanced economy is an economy type of austria |
| 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 538-538 | Advanced economy is an economy type of canada |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 539-539 | Advanced economy is an economy type of denmark |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 540-540 | Advanced economy is an economy type of finland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 541-541 | Advanced economy is an economy type of france |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 542-542 | Advanced economy is an economy type of germany |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 543-543 | Advanced economy is an economy type of greece |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 544-544 | Advanced economy is an economy type of hong kong |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 545-545 | Advanced economy is an economy type of iceland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 546-546 | Advanced economy is an economy type of ireland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 547-547 | Advanced economy is an economy type of israel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 548-548 | Advanced economy is an economy type of italy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 549-549 | Advanced economy is an economy type of japan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 551-551 | Advanced economy is an economy type of luxembourg |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 552-552 | Advanced economy is an economy type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 553-553 | Advanced economy is an economy type of new zealand |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 554-554 | Advanced economy is an economy type of norway |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 555-555 | Advanced economy is an economy type of portugal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 556-556 | Advanced economy is an economy type of singapore |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 550-550 | Advanced economy is an economy type of south korea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 557-557 | Advanced economy is an economy type of spain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 558-558 | Advanced economy is an economy type of sweden |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 559-559 | Advanced economy is an economy type of switzerland |
| 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 |
|
|
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