WorldOcean - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WorldOcean

WorldOcean(world ocean)

appearance as argument number 1

(documentation WorldOcean EnglishLanguage "The WorldOcean is the collective mass of sea water that covers 70% of the surface of PlanetEarth, surrounding all of its dry land areas. Earth's individual Oceans are parts of the WorldOcean.")	Geography.kif 4503-4506
(externalImage WorldOcean "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif")	pictureList.kif 4951-4951
(instance WorldOcean BodyOfWater)	Geography.kif 4499-4499	World ocean is an instance of body of water
(instance WorldOcean SaltWaterArea)	Geography.kif 4498-4498	World ocean is an instance of salt water area

appearance as argument number 2

(inScopeOfInterest InternationalHydrographicOrganization WorldOcean)	Government.kif 3501-3501	International hydrographic organization is interested in world ocean
(names "the ocean" WorldOcean)	Geography.kif 4501-4501	World ocean has name "the ocean"
(names "world ocean" WorldOcean)	Geography.kif 4500-4500	World ocean has name "world ocean"
(termFormat ChineseLanguage WorldOcean "世界海洋")	domainEnglishFormat.kif 63562-63562	World ocean has name "world ocean"
(termFormat ChineseTraditionalLanguage WorldOcean "世界海洋")	domainEnglishFormat.kif 63561-63561	World ocean has name "world ocean"
(termFormat EnglishLanguage WorldOcean "world ocean")	domainEnglishFormat.kif 63560-63560	World ocean has name "world ocean"

consequent

(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y DeepSeaFreightTransportation)) (exists (?FREIGHT ?SHIP) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT WorldOcean))))	naics.kif 8139-8150	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea freight transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at world ocean
(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y DeepSeaPassengerTransportation)) (exists (?CRUISE ?SHIP) (and (subProcess ?CRUISE ?X) (instance ?CRUISE WaterTransportation) (instrument ?CRUISE ?SHIP) (instance ?SHIP PassengerShip) (eventLocated ?CRUISE WorldOcean) (not (exists (?FERRY) (and (instance ?FERRY ShortSeaPassengerShip) (equal ?SHIP ?FERRY)))))))	naics.kif 8159-8175	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea passenger transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at world ocean and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
(=> (instance ?AREA Continent) (meetsSpatially ?AREA WorldOcean))	Geography.kif 4508-4510	If an object is an instance of continent, then the object meets world ocean
(=> (instance ?OCEAN Ocean) (properPart ?OCEAN WorldOcean))	Geography.kif 4530-4532	If an object is an instance of ocean, then the object is a proper part of world ocean
(=> (instance ?SEA Sea) (properPart ?SEA WorldOcean))	Geography.kif 4779-4781	If an object is an instance of sea, then the object is a proper part of world ocean
(=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER))))	Geography.kif 5187-5193	If an object is an instance of estuary, then there exists another object such that the other object is an instance of salt water area and the other object is a part of world ocean and the other object is connected to the object

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