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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaribbeanRegion
CaribbeanRegion
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6234-6234
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 6237-6237
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 6238-6238
No TPTP formula. May not be expressible in strict first order. Geography.kif 232-232 geographicSubregion CaribbeanRegion and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 233-233 geographicSubregion CaribbeanRegion and WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 93-93 CaribbeanRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 CaribbeanRegion e' South em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 289-289 CaribbeanRegion e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 CaribbeanRegion engloba NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 CaribbeanRegion engloba SouthAmerica

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 427-427 geographicSubregion Anguilla and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 428-428 geographicSubregion AntiguaAndBarbuda and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 430-430 geographicSubregion Aruba and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 433-433 geographicSubregion Barbados and CaribbeanRegion
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. CountriesAndRegions.kif 436-436 geographicSubregion CaymanIslands and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 437-437 geographicSubregion Cuba and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 440-440 geographicSubregion Dominica and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 442-442 geographicSubregion DominicanRepublic and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 444-444 geographicSubregion Grenada and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 446-446 geographicSubregion Guadeloupe and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 447-447 geographicSubregion Haiti and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 449-449 geographicSubregion Jamaica and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 451-451 geographicSubregion Martinique and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 452-452 geographicSubregion Montserrat and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 453-453 geographicSubregion NavassaIsland and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 454-454 geographicSubregion NetherlandsAntilles and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 455-455 geographicSubregion PuertoRico and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 456-456 geographicSubregion SaintKittsAndNevis and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 458-458 geographicSubregion SaintLucia and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 460-460 geographicSubregion SaintVincentAndTheGrenadines and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 431-431 geographicSubregion TheBahamas and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 462-462 geographicSubregion TrinidadAndTobago and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 464-464 geographicSubregion TurksAndCaicosIslands and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 465-465 geographicSubregion VirginIslands and CaribbeanRegion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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