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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2746-2746 安第斯國際社會 是 "CAN" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2745-2745 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2748-2748 "AG" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2751-2751 "Ancom" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 "Andean Common Market" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2749-2749 "Andean Parliament" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 2747-2747 "AndeanGroup" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7441-7441 "AndeanGroup" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7440-7440 "AndeanGroup" 是對於 安第斯國際社會 的 former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7439-7439 "AndeanGroup" 是對於 安第斯國際社會 的 former name

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


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


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