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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AndeanCommunityOfNations

 Sigma KEE - AndeanCommunityOfNations
AndeanCommunityOfNations(安第斯國際社會)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2796-2796 天 26 and 月 May and 年 1969 是 安第斯國際社會 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8336-8336
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 例 安第斯國際社會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 經濟一體化 是 安第斯國際社會 的 organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2784-2784 安第斯國際社會 是 "CAN" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2786-2786 "AG" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2789-2789 "Ancom" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 "Andean Common Market" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2787-2787 "Andean Parliament" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2785-2785 "AndeanGroup" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7434-7434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7433-7433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7432-7432

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2791-2794 持有期間 眼前的未來 TimePosition and 例 TimePosition and 天 1 and 月 October and 年 1992 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名


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