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	例阿魯巴 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 417-417	例阿魯巴 and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4087-4087	名 "Aruba" and 阿魯巴
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