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 4572-4575
(externalImage WorldOcean "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif")	pictureList.kif 4951-4951
(instance WorldOcean BodyOfWater)	Geography.kif 4568-4568	World ocean is an instance of body of water
(instance WorldOcean SaltWaterArea)	Geography.kif 4567-4567	World ocean is an instance of salt water area

appearance as argument number 2

(inScopeOfInterest InternationalHydrographicOrganization WorldOcean)	Government.kif 3499-3499	International hydrographic organization is interested in world ocean
(names "the ocean" WorldOcean)	Geography.kif 4570-4570	World ocean has name "the ocean"
(names "world ocean" WorldOcean)	Geography.kif 4569-4569	World ocean has name "world ocean"
(termFormat ChineseLanguage WorldOcean "世界海洋")	domainEnglishFormat.kif 63560-63560	World ocean has name "world ocean"
(termFormat ChineseTraditionalLanguage WorldOcean "世界海洋")	domainEnglishFormat.kif 63559-63559	World ocean has name "world ocean"
(termFormat EnglishLanguage WorldOcean "world ocean")	domainEnglishFormat.kif 63558-63558	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 4577-4579	If an object is an instance of continent, then the object meets world ocean
(=> (instance ?OCEAN Ocean) (properPart ?OCEAN WorldOcean))	Geography.kif 4599-4601	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 4848-4850	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 5256-5262	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