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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AndeanCommunityOfNations
AndeanCommunityOfNations(andean community of nations)
andean_community_of_nations, 安第斯国际社会, 安第斯國際社會

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2733-2733 The day 26 is a date established of andean community of nations
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8338-8338 "http://upload.wikimedia.org/wikipedia/commons/b/b7/ CAN.png" is a URL depicting andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2724-2724 Andean community of nations is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2734-2734 Economic integration is an organizational objective of andean community of nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2726-2726 "CAN" is an abbreviation of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2725-2725 Andean community of nations is a conventional long name of "Andean Community of Nations"
No TPTP formula. May not be expressible in strict first order. Government.kif 2728-2728 "AG" is a former name for andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2731-2731 "Ancom" is a former name for andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2730-2730 "Andean Common Market" is a former name for andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2729-2729 "Andean Parliament" is a former name for andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2727-2727 "AndeanGroup" is a former name for andean community of nations
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7441-7441 "安第斯国际社会" is the printable form of andean community of nations in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7440-7440 "安第斯國際社會" is the printable form of andean community of nations in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7439-7439 "andean community of nations" is the printable form of andean community of nations in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2732-2732 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners