BodyOfWater - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BodyOfWater

BodyOfWater(body of water)

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 4237-4239
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4235-4235	Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea)	Geography.kif 4234-4234	Body of water is a subclass of water area

appearance as argument number 2

(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4283-4283	North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater)	Geography.kif 4315-4315	North pacific ocean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater)	Geography.kif 4296-4296	South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater)	Geography.kif 4329-4329	South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater)	Geography.kif 4242-4242	World ocean is an instance of body of water
(subclass Channel BodyOfWater)	Geography.kif 4980-4980	Channel is a subclass of body of water
(subclass Creek BodyOfWater)	Geography.kif 5333-5333	Creek is a subclass of body of water
(subclass Estuary BodyOfWater)	Geography.kif 4843-4843	Estuary is a subclass of body of water
(subclass Gulf BodyOfWater)	Geography.kif 4786-4786	Gulf is a subclass of body of water
(subclass Inlet BodyOfWater)	Geography.kif 4882-4882	Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater)	Geography.kif 4742-4742	Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater)	Geography.kif 4256-4256	Ocean is a subclass of body of water
(subclass River BodyOfWater)	Geography.kif 5137-5137	River is a subclass of body of water
(subclass Sea BodyOfWater)	Geography.kif 4435-4435	Sea is a subclass of body of water
(subclass Sound BodyOfWater)	Geography.kif 4942-4942	Sound is a subclass of body of water
(subclass Strait BodyOfWater)	Geography.kif 4956-4956	Strait is a subclass of body of water
(termFormat EnglishLanguage BodyOfWater "body of water")	domainEnglishFormat.kif 2337-2337	"body of water" is the printable form of body of water in english language

antecedent

(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 4994-4999	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 5322-5331	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 ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER))	Geography.kif 4266-4271	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 4969-4974	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 ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (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 18837-18866	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , an object and a time duration such that the other process is an instance of discovering and the object is an instance of object and the object 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 object is the time duration and the time duration is greater than 50 year duration(s) and the entity is a surface of another entity and the other entity is an instance of body of water and the object is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the object is below to the entity holds during immediately before the time of existence of the other process
(=> (instance ?S Seafood) (exists (?X ?SEA) (and (meatOfAnimal ?S ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA))))	Food.kif 323-330	If a kind of organic object is an instance of seafood, then there exist an organism and a kind of organic objectEA such that the kind of organic object is the meat of a kind of animal and the organism is an instance of a kind of animal and the kind of organic objectEA is an instance of body of water and the organism lives in the kind of organic objectEA
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER))))	Geography.kif 5079-5085	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 the other physical is not equal to 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 5012-5020	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 the other geographic area is not equal to 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 4961-4967	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

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