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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionPictureAndVideoExhibition

 Sigma KEE - FormerSovietOrEasternEuropeanCountry
FormerSovietOrEasternEuropeanCountry(前蘇聯或東歐國家)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 193-204
No TPTP formula. May not be expressible in strict first order. Economy.kif 182-182 例 前蘇聯或東歐國家 and 聯合國經濟發展水平
No TPTP formula. May not be expressible in strict first order. Economy.kif 187-187 繼承屬性 前蘇聯或東歐國家 and 發達國家

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 186-186 "Second World" 是對於 前蘇聯或東歐國家 的 former name
No TPTP formula. May not be expressible in strict first order. Economy.kif 185-185 名 "Former Eastern European" and 前蘇聯或東歐國家
No TPTP formula. May not be expressible in strict first order. Economy.kif 183-183 名 "Former Soviet or Eastern European Country" and 前蘇聯或東歐國家
No TPTP formula. May not be expressible in strict first order. Economy.kif 184-184 名 "Former Soviet" and 前蘇聯或東歐國家
No TPTP formula. May not be expressible in strict first order. Economy.kif 209-209 繼承屬性 較未發達國家 and 前蘇聯或東歐國家
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24752-24752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24751-24751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24750-24750

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 189-191


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