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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AssociationOfSoutheastAsianNations

Sigma KEE - AssociationOfSoutheastAsianNations
AssociationOfSoutheastAsianNations(東南亞國家聯盟)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 8 and August and 1967 是 東南亞國家聯盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2830-2830 東南亞國家聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2836-2836 文化合作東南亞國家聯盟organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2834-2834 經濟合作東南亞國家聯盟organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2835-2835 社會合作東南亞國家聯盟organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2832-2832 東南亞國家聯盟 是 "ASEAN" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2831-2831 東南亞國家聯盟 是 "Association of Southeast Asian Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8802-8802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8801-8801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8800-8800


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