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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LatinAmericanEconomicSystem
LatinAmericanEconomicSystem(latin american economic system)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3613-3613 The day 17 is a date established of latin american economic system
No TPTP formula. May not be expressible in strict first order. Government.kif 3608-3608 Latin american economic system is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3614-3614 Economic development is an organizational objective of latin american economic system
No TPTP formula. May not be expressible in strict first order. Government.kif 3615-3615 Social development is an organizational objective of latin american economic system

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3610-3610 "LAES" is an abbreviation of latin american economic system
No TPTP formula. May not be expressible in strict first order. Government.kif 3609-3609 Latin american economic system is a conventional long name of "Latin American Economic System"
No TPTP formula. May not be expressible in strict first order. Government.kif 3611-3611 Latin american economic system is a local long name of "Sistema Economico Latinoamericana"
No TPTP formula. May not be expressible in strict first order. Government.kif 3612-3612 Latin american economic system is a local short name of "SELA"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33426-33426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33425-33425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33424-33424


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