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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BritishVirginIslands
BritishVirginIslands(英屬維爾京群島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3744-3744 英屬維爾京群島 是 英國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3745-3745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 294-294
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 435-435 英屬維爾京群島 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Media.kif 2598-2598 英屬維爾京群島 是 維爾京群島 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Media.kif 2595-2595 例 英屬維爾京群島 and 群島
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3867-3867 例 英屬維爾京群島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 418-418 例 英屬維爾京群島 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2602-2602 子集合 英屬維爾京群島 and 維爾京群島

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4091-4091 英屬維爾京群島 是 "BVI" 的簡稱
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4090-4090 名 "British Virgin Islands" and 英屬維爾京群島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12005-12005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12004-12004
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12003-12003

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


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