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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PacificOcean
PacificOcean(pacific ocean)
Pacific, Pacific_Ocean

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


(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") Geography.kif 4324-4325
(externalImage PacificOcean "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") pictureList.kif 644-644
(instance PacificOcean Ocean) Geography.kif 4322-4322 Pacific ocean is an instance of ocean

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


(geographicSubregion NorthPacificOcean PacificOcean) Geography.kif 4332-4332 North pacific ocean is a geographic subregion of pacific ocean
(geographicSubregion SouthPacificOcean PacificOcean) Geography.kif 4346-4346 South pacific ocean is a geographic subregion of pacific ocean
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903 California meets pacific ocean
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936 Hawaii meets pacific ocean
(meetsSpatially Oregon PacificOcean) CountriesAndRegions.kif 1082-1082 Oregon meets pacific ocean
(meetsSpatially Washington PacificOcean) CountriesAndRegions.kif 1141-1141 Washington meets pacific ocean
(names "Pacific Ocean" PacificOcean) Geography.kif 4323-4323 Pacific ocean has name "Pacific Ocean"
(termFormat ChineseLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43783-43783
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43782-43782
(termFormat EnglishLanguage PacificOcean "pacific ocean") domainEnglishFormat.kif 43781-43781


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners