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 2957-2957 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 619-619 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 8304-8304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8303-8303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8302-8302

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2649-2649 "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