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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Aruba

Sigma KEE - Aruba
Aruba(aruba)
Aruba

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3730-3730 Aruba is a dependent of netherlands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3731-3731
No TPTP formula. May not be expressible in strict first order. Economy.kif 620-620 Developing country is an economy type of aruba
No TPTP formula. May not be expressible in strict first order. Economy.kif 236-236 Less developed country is an economy type of aruba
No TPTP formula. May not be expressible in strict first order. pictureList.kif 239-239
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 430-430 Aruba is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3860-3860 Aruba is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 417-417 Aruba is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4087-4087 Aruba has name "Aruba"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8592-8592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8591-8591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8590-8590

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2844-2844 "AW" in ISO-3166-1-alpha-2 denotes aruba


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