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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LatinAmericanIntegrationAssociation
LatinAmericanIntegrationAssociation(latin american integration association)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3622-3622 The day 12 is a date established of latin american integration association
No TPTP formula. May not be expressible in strict first order. Government.kif 3617-3617 Latin american integration association is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3624-3624 Economic integration is an organizational objective of latin american integration association
No TPTP formula. May not be expressible in strict first order. Government.kif 3623-3623 Promotion of free trade is an organizational objective of latin american integration association

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3619-3619 "LAIA" is an abbreviation of latin american integration association
No TPTP formula. May not be expressible in strict first order. Government.kif 3618-3618 Latin american integration association is a conventional long name of "Latin American Integration Association"
No TPTP formula. May not be expressible in strict first order. Government.kif 3620-3620 Latin american integration association is a local long name of "Asociacion Latinoamericana de Integracion"
No TPTP formula. May not be expressible in strict first order. Government.kif 3621-3621 Latin american integration association is a local short name of "ALADI"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33432-33432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33431-33431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33430-33430


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