BodyOfWater - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BodyOfWater EnglishLanguage "A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders.")	Geography.kif 4701-4703
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4699-4699	Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea)	Geography.kif 4698-4698	Body of water is a subclass of water area

appearance as argument number 2

(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4747-4747	North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater)	Geography.kif 4779-4779	North pacific ocean is an instance of body of water
(instance NortheasternPacificOcean BodyOfWater)	Geography.kif 4793-4793	Northeastern Pacific ocean is an instance of body of water
(instance NorthwesternPacificOcean BodyOfWater)	Geography.kif 4806-4806	Northwestern Pacific Ocean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater)	Geography.kif 4760-4760	South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater)	Geography.kif 4819-4819	South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater)	Geography.kif 4706-4706	World ocean is an instance of body of water
(subclass Channel BodyOfWater)	Geography.kif 5587-5587	Channel is a subclass of body of water
(subclass Creek BodyOfWater)	Geography.kif 5942-5942	Creek is a subclass of body of water
(subclass Estuary BodyOfWater)	Geography.kif 5437-5437	Estuary is a subclass of body of water
(subclass Gulf BodyOfWater)	Geography.kif 5343-5343	Gulf is a subclass of body of water
(subclass Inlet BodyOfWater)	Geography.kif 5476-5476	Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater)	Geography.kif 5299-5299	Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater)	Geography.kif 4720-4720	Ocean is a subclass of body of water
(subclass River BodyOfWater)	Geography.kif 5744-5744	River is a subclass of body of water
(subclass Sea BodyOfWater)	Geography.kif 4965-4965	Sea is a subclass of body of water
(subclass Sound BodyOfWater)	Geography.kif 5536-5536	Sound is a subclass of body of water
(subclass Strait BodyOfWater)	Geography.kif 5550-5550	Strait is a subclass of body of water
(termFormat ChineseLanguage BodyOfWater "水体")	domainEnglishFormat.kif 11492-11492	Strait is a subclass of body of water
(termFormat ChineseTraditionalLanguage BodyOfWater "水體")	domainEnglishFormat.kif 11491-11491	Strait is a subclass of body of water
(termFormat EnglishLanguage BodyOfWater "body of water")	domainEnglishFormat.kif 11490-11490	Strait is a subclass of body of water

antecedent

(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5600-5605	If an object is an instance of channel and another object is an instance of body of water and the object is connected to the other object, then the other object is larger than the object
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5931-5940	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
(=> (and (instance ?T Tornado) (eventLocated ?T ?R) (instance ?R BodyOfWater)) (instance ?S TornadicWaterspout))	Weather.kif 1073-1078	If a process is an instance of tornado and the process is located at an object and the object is an instance of body of water, then an entity is an instance of tornadic waterspout
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER))	Geography.kif 4730-4735	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait))	Geography.kif 5563-5568	If an object is an instance of body of water and another object is an instance of body of water and a third object connects the object and the other object, then the object is larger than the third object

consequent

(=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA))))	Food.kif 1934-1943	If an entity is an instance of a kind of meat and a kind of meat is a subclass of seafood, then there exist an organism, the entityEA and a kind of animal such that the kind of meat is the meat of a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
(=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 22764-22794	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
(=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater))))))	Transportation.kif 1752-1762	If a physical is an instance of bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is above to the other entity and the other entity is an instance of land area or the other entity is an instance of body of water
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4949-4956	If an object is an instance of iceberg, then there exist another object and a third object such that the other object is an instance of ice and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
(=> (instance ?BREAK BreakingWave) (exists (?WAVE ?WATER1 ?WATER2 ?FALL) (and (instance ?WAVE WaterWave) (subProcess ?BREAK ?WAVE) (instance ?WATER1 BodyOfWater) (instance ?WATER2 BodyOfWater) (patient ?WAVE ?WATER2) (patient ?BREAK ?WATER1) (instance ?FALL Falling) (objectTransferred ?FALL ?WATER1) (holdsDuring (BeginFn (WhenFn ?FALL)) (part ?WATER1 ?WATER2)) (holdsDuring (EndFn (WhenFn ?FALL)) (not (part ?WATER1 ?WATER2))))))	Weather.kif 2040-2060	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 6190-6197	If an object is an instance of shoal, then there exist another object and a third object such that the other object is an instance of land form and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
(=> (instance ?S Waterspout) (exists (?A ?R ?C ?F ?W) (and (instance ?A AirStream) (instance ?R Rotating) (patient ?R ?A) (origin ?R ?C) (instance ?C WaterCloud) (part ?F ?C) (shape ?F Cone) (eventLocated ?R ?W) (instance ?W BodyOfWater) (connects ?F ?W ?C))))	Weather.kif 1034-1047	If an entity is an instance of waterspout, then there exist another entity, a process,, , an object,, , another object and a third object such that the other entity is an instance of air stream and the process is an instance of rotating and the other entity is a patient of the process and the process originates at the object and the object is an instance of water cloud and the other object is a part of the object and the other object is cone and the process is located at the third object and the third object is an instance of body of water and the other object connects the third object and the object
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER))))	Geography.kif 5685-5691	If a physical is an instance of stream water area, then there exists another physical such that the other physical is an instance of body of water and equal the other physical and the physical and the other physical is a flows of the physical
(=> (instance ?SYSTEM InlandWaterSystem) (exists (?BODY1 ?BODY2) (and (instance ?BODY1 BodyOfWater) (instance ?BODY2 BodyOfWater) (not (equal ?BODY1 ?BODY2)) (geographicSubregion ?BODY1 ?SYSTEM) (geographicSubregion ?BODY2 ?SYSTEM))))	Geography.kif 5618-5626	If a geographic area is an instance of inland water system, then there exist another geographic area and a third geographic area such that the other geographic area is an instance of body of water and the third geographic area is an instance of body of water and equal the other geographic area and the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area
(=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2))))	Geography.kif 5555-5561	If an object is an instance of strait, then there exist another object and a third object such that the other object is an instance of body of water and the third object is an instance of body of water and the object connects the other object and the third object
(=> (waveHeight ?WW ?X) (exists (?WATER ?CREST ?TROUGH ?U) (and (instance ?WATER BodyOfWater) (eventLocated ?WW ?WATER) (part ?CREST ?WATER) (part ?TROUGH ?WATER) (distance ?CREST ?TROUGH ?X) (not (exists (?A ?AH) (and (part ?A ?WATER) (altitude ?A ?CREST (MeasureFn ?AH ?U)) (greaterThan ?AH 0.0)))) (not (exists (?B ?BH) (and (part ?B ?WATER) (altitude ?TROUGH ?B (MeasureFn ?BH ?U)) (greaterThan ?BH 0.0)))))))	Weather.kif 2106-2126	If The waveHeight of a water wave a length measure., then there exist an object, another object,, , a third object and an unit of measure such that the object is an instance of body of water and the water wave is located at the object and the other object is a part of the object and the third object is a part of the object and the distance between the other object and the third object is the length measure and there don't exist a fourth object and the fourth objectH such that the fourth object is a part of the object and the altitude of the fourth object relative to the other object is the fourth objectH the unit of measure(s) and the fourth objectH is greater than 0.0 and there don't exist a fifth object and the fifth objectH such that the fifth object is a part of the object and the altitude of the third object relative to the fifth object is the fifth objectH the unit of measure(s) and the fifth objectH is greater than 0.0

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

KB Term:			Term intersection

English Word: