Aruba - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Aruba

Aruba(阿鲁巴)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3730-3730	阿鲁巴是荷兰的 dependent
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	发展中国家是阿鲁巴的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 236-236	较未发达国家是阿鲁巴的 economy 类别
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	阿鲁巴是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3860-3860	阿鲁巴是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 417-417	阿鲁巴是土地面积的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4087-4087	阿鲁巴的名是 "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" 在 ISO-3166-1-alpha-2 denotes 阿鲁巴

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