Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AdvancedEconomy
AdvancedEconomy(advanced economy)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 524-528
No TPTP formula. May not be expressible in strict first order. Economy.kif 522-522 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 530-530 Advanced economy is an economy type of australia
No TPTP formula. May not be expressible in strict first order. Economy.kif 531-531 Advanced economy is an economy type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 532-532 Advanced economy is an economy type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 533-533 Advanced economy is an economy type of canada
No TPTP formula. May not be expressible in strict first order. Economy.kif 534-534 Advanced economy is an economy type of denmark
No TPTP formula. May not be expressible in strict first order. Economy.kif 535-535 Advanced economy is an economy type of finland
No TPTP formula. May not be expressible in strict first order. Economy.kif 536-536 Advanced economy is an economy type of france
No TPTP formula. May not be expressible in strict first order. Economy.kif 537-537 Advanced economy is an economy type of germany
No TPTP formula. May not be expressible in strict first order. Economy.kif 538-538 Advanced economy is an economy type of greece
No TPTP formula. May not be expressible in strict first order. Economy.kif 539-539 Advanced economy is an economy type of hong kong
No TPTP formula. May not be expressible in strict first order. Economy.kif 540-540 Advanced economy is an economy type of iceland
No TPTP formula. May not be expressible in strict first order. Economy.kif 541-541 Advanced economy is an economy type of ireland
No TPTP formula. May not be expressible in strict first order. Economy.kif 542-542 Advanced economy is an economy type of israel
No TPTP formula. May not be expressible in strict first order. Economy.kif 543-543 Advanced economy is an economy type of italy
No TPTP formula. May not be expressible in strict first order. Economy.kif 544-544 Advanced economy is an economy type of japan
No TPTP formula. May not be expressible in strict first order. Economy.kif 546-546 Advanced economy is an economy type of luxembourg
No TPTP formula. May not be expressible in strict first order. Economy.kif 547-547 Advanced economy is an economy type of netherlands
No TPTP formula. May not be expressible in strict first order. Economy.kif 548-548 Advanced economy is an economy type of new zealand
No TPTP formula. May not be expressible in strict first order. Economy.kif 549-549 Advanced economy is an economy type of norway
No TPTP formula. May not be expressible in strict first order. Economy.kif 550-550 Advanced economy is an economy type of portugal
No TPTP formula. May not be expressible in strict first order. Economy.kif 551-551 Advanced economy is an economy type of singapore
No TPTP formula. May not be expressible in strict first order. Economy.kif 545-545 Advanced economy is an economy type of south korea
No TPTP formula. May not be expressible in strict first order. Economy.kif 552-552 Advanced economy is an economy type of spain
No TPTP formula. May not be expressible in strict first order. Economy.kif 553-553 Advanced economy is an economy type of sweden
No TPTP formula. May not be expressible in strict first order. Economy.kif 554-554 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 742-744


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