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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CaribbeanRegion

Sigma KEE - CaribbeanRegion
CaribbeanRegion(caribbean region)
more pictures...
Caribbean

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6235-6235
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6237-6237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6238-6238
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6236-6236
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6239-6239
No TPTP formula. May not be expressible in strict first order. Geography.kif 232-232 Caribbean region is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 233-233 Caribbean region is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 93-93 Caribbean region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 Caribbean region is south to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 289-289 Caribbean region is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 Caribbean region and north america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 Caribbean region and south america is overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 427-427 Anguilla is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 428-428 Antigua and barbuda is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 430-430 Aruba is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 433-433 Barbados is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 435-435 British virgin islands is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 436-436 Cayman islands is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 437-437 Cuba is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 440-440 Dominica is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 442-442 Dominican republic is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 444-444 Grenada is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 446-446 Guadeloupe is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 447-447 Haiti is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 449-449 Jamaica is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 451-451 Martinique is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 452-452 Montserrat is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 453-453 Navassa island is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 454-454 Netherlands antilles is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 455-455 Puerto rico is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 456-456 Saint kitts and nevis is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 458-458 Saint lucia is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 460-460 Saint vincent and the grenadines is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 431-431 The bahamas is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 462-462 Trinidad and tobago is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 464-464 Turks and caicos islands is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 465-465 Virgin islands is a geographic subregion of caribbean region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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