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


KB Term:  Term intersection
English Word: 

  FloridaUnitedStates

 Sigma KEE - FloridaUnitedStates
FloridaUnitedStates(Florida)
more pictures...		Everglade_State, FL, Florida, Sunshine_State

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


(instance FloridaUnitedStates AmericanState) CountriesAndRegions.kif 924-924 Florida is an instance of american state
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean) CountriesAndRegions.kif 925-925 Florida meets north atlantic ocean
(meetsSpatially FloridaUnitedStates Alabama) CountriesAndRegions.kif 926-926 Florida meets alabama
(meetsSpatially FloridaUnitedStates GulfOfMexico) CountriesAndRegions.kif 927-927 Florida meets Gulf of mexico
(documentation FloridaUnitedStates EnglishLanguage "A state in the southeastern UnitedStates between the GulfOfMexico and the AtlanticOcean.") CountriesAndRegions.kif 928-929 Florida meets Gulf of mexico
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2848-2848 Florida is an instance of geographic area
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2849-2849 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://articulatesoftware.com/SUMOpictures/ geography/ US_States/ florida.png") pictureList.kif 437-437 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ National_Atlas_Florida_major_road_map.gif") pictureList.kif 5117-5117 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 44/ BahiaHonda.jpg") pictureList.kif 5240-5240 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ en/ 6/ 68/ Everglades_National_Park_cypress.jpg") pictureList.kif 5241-5241 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ en/ f/ f2/ Miamiskyline20070811.jpg") pictureList.kif 5242-5242 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ Fort_Lauderdale_Skyline.jpeg") pictureList.kif 5243-5243 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ Sunset_408_zoom.jpg") pictureList.kif 5244-5244 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8e/ Old_Florida_Capitol.jpg") pictureList.kif 5245-5245 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Space_Shuttle_Columbia_launching.jpg") pictureList.kif 5246-5246 Florida is a geographic subregion of united states
(externalImage FloridaUnitedStates "http://upload.wikimedia.org/wikipedia/ en/ 7/ 77/ Westcott_8445.jpg") pictureList.kif 5248-5248 Florida is a geographic subregion of united states

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


(meetsSpatially Georgia FloridaUnitedStates) CountriesAndRegions.kif 932-932 Georgia meets Florida
(names "Florida" FloridaUnitedStates) CountriesAndRegions.kif 2850-2850 Florida has name "Florida"
(termFormat EnglishLanguage FloridaUnitedStates "Florida") domainEnglishFormat.kif 24280-24280 Florida has name "Florida"
(termFormat ChineseTraditionalLanguage FloridaUnitedStates "佛羅里達") domainEnglishFormat.kif 24281-24281 Florida has name "Florida"
(termFormat ChineseLanguage FloridaUnitedStates "佛罗里达") domainEnglishFormat.kif 24282-24282 Florida has name "Florida"


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners