TreeView Knowledge Base Browser - WaterMotion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WaterMotion

WaterMotion(water motion)

appearance as argument number 1

(documentation WaterMotion ChineseLanguage "这是当 Liquid 是Water 时的任何 LiquidMotion。")	chinese_format.kif 3023-3024
(documentation WaterMotion EnglishLanguage "Any LiquidMotion where the Liquid is Water.")	Merge.kif 11109-11110
(subclass WaterMotion LiquidMotion)	Merge.kif 11107-11107	Water motion is a subclass of liquid motion

appearance as argument number 2

(instance AntarcticCircumpolarCurrent WaterMotion)	Geography.kif 4593-4593	Antarctic circumpolar current is an instance of water motion
(subclass HeavySurf WaterMotion)	Weather.kif 1554-1554	Heavy zone is a subclass of water motion
(subclass Precipitation WaterMotion)	Merge.kif 11081-11081	Precipitation is a subclass of water motion
(termFormat ChineseLanguage WaterMotion "水运动")	domainEnglishFormat.kif 62394-62394
(termFormat ChineseTraditionalLanguage WaterMotion "水運動")	domainEnglishFormat.kif 62393-62393
(termFormat EnglishLanguage WaterMotion "water motion")	domainEnglishFormat.kif 62392-62392

appearance as argument number 3

(domain flowCurrent 1 WaterMotion)

Geography.kif 5456-5456

The number 1 argument of flow current is an instance of water motion

antecedent

(=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above))	Geography.kif 5459-5468	If a water area is an instance of waterfall and a water motion is an instance of water motion and the water area is a flow current of the water motion and the water motion originates at an object and the water motion ends up at another object and the object is an instance of water area and the other object is an instance of water area, then the object is above to the other object
(=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water))))	Merge.kif 11112-11117	If a process is an instance of water motion, then there exists an entity such that the entity is a patient of the process and the entity is an instance of water

consequent

(=> (instance ?FLOOD FlashFlooding) (exists (?WATER ?HOUR) (and (instance ?WATER WaterMotion) (causes ?WATER ?FLOOD) (meetsTemporally (WhenFn ?WATER) (WhenFn ?FLOOD)) (duration (WhenFn ?WATER) (MeasureFn ?HOUR HourDuration)) (lessThan ?HOUR 6.0))))	Weather.kif 1629-1641	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0
(=> (instance ?SHOWER Shower) (hasPurpose ?SHOWER (exists (?SPRAY) (and (instance ?SPRAY WaterMotion) (origin ?SPRAY ?SHOWER)))))	Mid-level-ontology.kif 1988-1994	If a physical is an instance of shower, then the physical has the purpose there exists an entity such that the entity is an instance of water motion and the entity originates at the physical
(=> (instance ?W WaterSprinkler) (hasPurpose ?W (exists (?WM) (and (instance ?WM WaterMotion) (origin ?WM ?W)))))	Mid-level-ontology.kif 24822-24828	If a physical is an instance of water sprinkler, then the physical has the purpose there exists the physicalM such that the physicalM is an instance of water motion and the physicalM originates at the physical
(=> (instance ?X FireSprinklerSystem) (exists (?FIRE ?DISCOVER ?WM) (and (instance ?DISCOVER Discovering) (instance ?FIRE Fire) (instrument ?DISCOVER ?X) (patient ?DISCOVER ?FIRE) (instance ?WM WaterMotion) (origin ?WM ?X) (causes ?DISCOVER ?WM))))	Mid-level-ontology.kif 24844-24854	If an object is an instance of sprinkler system, then there exist an entity, a process and another process such that the process is an instance of discovering and the entity is an instance of fire and the object is an instrument for the process and the entity is a patient of the process and the other process is an instance of water motion and the other process originates at the object and the process causes the other process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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