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 dateEstablished AndeanCommunityOfNations and o dia 26
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 AndeanCommunityOfNations e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 organizationalObjective AndeanCommunityOfNations and EconomicIntegration

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2784-2784 abbreviation "CAN" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2786-2786 formerName "AG" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2789-2789 formerName "Ancom" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 formerName "Andean Common Market" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2787-2787 formerName "Andean Parliament" and AndeanCommunityOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2785-2785 formerName "AndeanGroup" and AndeanCommunityOfNations
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 Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal


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