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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirginIslands
VirginIslands(virgin islands)
American_Virgin_Islands, United_States_Virgin_Islands, VI, Virgin_Islands

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 Virgin islands is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1163-1163 Virgin islands is an instance of archipelago
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3919-3919 Virgin islands is an instance of dependency or special sovereignty area

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2598-2598 British virgin islands is a geographic subregion of virgin islands
No TPTP formula. May not be expressible in strict first order. Media.kif 2601-2601 US virgin islands is a geographic subregion of virgin islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4110-4110 Virgin islands has name "Virgin Islands"
No TPTP formula. May not be expressible in strict first order. Media.kif 2602-2602 British virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. Media.kif 2603-2603 US virgin islands is a proper sub-collection of virgin islands
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