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 Day安第斯国际社会 的成立 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 安第斯国际社会国际组织instance
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 时间位置 是 1 dayinstance安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring


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