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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Argentina
Argentina(argentina)
Argentina, Argentine_Republic

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2967-2967 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1182-1182
No TPTP formula. May not be expressible in strict first order. Economy.kif 614-614 Developing country is an economy type of argentina
No TPTP formula. May not be expressible in strict first order. Economy.kif 235-235 Less developed country is an economy type of argentina
No TPTP formula. May not be expressible in strict first order. pictureList.kif 233-233
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 513-513 Argentina is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 514-514 Argentina is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3923-3923 Argentina is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2682-2682 Buenos aires argentina is a geographic subregion of argentina
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4133-4133 Argentina has name "Argentina"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8313-8313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8312-8312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8311-8311

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2637-2637 "AR" in ISO-3166-1-alpha-2 denotes argentina


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