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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaymanIslands
CaymanIslands(開曼群島)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3057-3057 開曼群島美元 是 開曼群島 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3747-3747 開曼群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3748-3748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 330-330
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 436-436 開曼群島 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3868-3868 例 開曼群島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 419-419 例 開曼群島 and LandArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4092-4092 名 "Cayman Islands" and 開曼群島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13584-13584
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13583-13583
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13582-13582

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


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