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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Yugoslavia

 Sigma KEE - Yugoslavia
Yugoslavia(南斯拉夫)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3587-3587 南斯拉夫第纳尔 是 南斯拉夫 的 currency 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 601-601 转型国家 是 南斯拉夫 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3645-3645
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3644-3644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3388-3388
No TPTP formula. May not be expressible in strict first order. Economy.kif 602-602 南斯拉夫 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63961-63961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63960-63960
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63959-63959


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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