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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FourDragonsEconomy
FourDragonsEconomy(four dragons economy)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 379-382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8492-8492
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9237-9237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9238-9238
No TPTP formula. May not be expressible in strict first order. Economy.kif 371-371 Four dragons economy is an instance of economic development level

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 374-374 Four dragons economy is an economy type of hong kong
No TPTP formula. May not be expressible in strict first order. Economy.kif 375-375 Four dragons economy is an economy type of singapore
No TPTP formula. May not be expressible in strict first order. Economy.kif 376-376 Four dragons economy is an economy type of south korea
No TPTP formula. May not be expressible in strict first order. Economy.kif 377-377 Four dragons economy is an economy type of taiwan
No TPTP formula. May not be expressible in strict first order. Economy.kif 372-372 Four dragons economy has name "Four Dragons"
No TPTP formula. May not be expressible in strict first order. Economy.kif 373-373 Four dragons economy has name "Four Tigers"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24818-24818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24817-24817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24816-24816

antecedent
-------------------------


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 384-386


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