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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FourDragonsEconomy
FourDragonsEconomy(四龙经济)

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 四龙经济 是 经济发展水平 的 instance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 374-374 四龙经济 是 香港 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 375-375 四龙经济 是 新加坡 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 376-376 四龙经济 是 韩国 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 377-377 四龙经济 是 台湾 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 372-372 四龙经济 的名 是 "Four Dragons"
No TPTP formula. May not be expressible in strict first order. Economy.kif 373-373 四龙经济 的名 是 "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