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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirginIslands
VirginIslands(维尔京群岛)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1164-1167
No TPTP formula. May not be expressible in strict first order. pictureList.kif 825-825
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 465-465 维尔京群岛 是 加勒比地区 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1163-1163 维尔京群岛 是 群岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3919-3919 维尔京群岛 是 依赖或特殊主权领域 的 instance

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


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 2601-2601 USVirginIslands 是 维尔京群岛 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4110-4110 维尔京群岛 的名 是 "Virgin Islands"
No TPTP formula. May not be expressible in strict first order. Media.kif 2602-2602 英属维尔京群岛 是 维尔京群岛 的 真正的子集
No TPTP formula. May not be expressible in strict first order. Media.kif 2603-2603 USVirginIslands 是 维尔京群岛 的 真正的子集
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61730-61730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61729-61729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61728-61728

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1169-1171


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