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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicCooperationOrganization
EconomicCooperationOrganization(經濟合作組織)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3146-3146 January and 1985 是 經濟合作組織 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5977-5977
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6449-6449
No TPTP formula. May not be expressible in strict first order. Government.kif 3143-3143 經濟合作組織 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3151-3151 溝通協調經濟合作組織organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3149-3149 文化合作經濟合作組織organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3147-3147 經濟合作經濟合作組織organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3148-3148 經濟發展經濟合作組織organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3150-3150 運輸協調經濟合作組織organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3145-3145 經濟合作組織 是 "ECO" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3144-3144 經濟合作組織 是 "Economic Cooperation Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21144-21144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21143-21143
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21142-21142


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