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 dependentGeopoliticalArea BritishVirginIslands and UnitedKingdom
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 geographicSubregion BritishVirginIslands and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. Media.kif 2598-2598 geographicSubregion BritishVirginIslands and VirginIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2595-2595 BritishVirginIslands est une instance de Archipelago
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3867-3867 BritishVirginIslands est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 418-418 BritishVirginIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order. Media.kif 2602-2602 BritishVirginIslands est une sous-collection appartenant � VirginIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4091-4091 abbreviation "BVI" and BritishVirginIslands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4090-4090 BritishVirginIslands s'appele nom "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 codeMapping ISO-3166-1-alpha-2, "VG" and BritishVirginIslands


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