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 英属维尔京群岛 是 群岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3867-3867 英属维尔京群岛 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 418-418 英属维尔京群岛 是 土地面积 的 instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2602-2602 英属维尔京群岛 是 维尔京群岛 的 真正的子集

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"
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