WaterMotion - Sigma Knowledge base Browser

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 11268-11269
(documentation WaterMotion JapaneseLanguage "Liquid が Water である任意の LiquidMotion。 ")	japanese_format.kif 1788-1789
(subclass WaterMotion LiquidMotion)	Merge.kif 11266-11266	Water motion is a subclass of liquid motion

appearance as argument number 2

(instance AntarcticCircumpolarCurrent WaterMotion)	Geography.kif 4694-4694	Antarctic circumpolar current is an instance of water motion
(subclass HeavySurf WaterMotion)	Weather.kif 1538-1538	Heavy zone is a subclass of water motion
(subclass Precipitation WaterMotion)	Merge.kif 11240-11240	Precipitation is a subclass of water motion
(termFormat ChineseLanguage WaterMotion "水运动")	domainEnglishFormat.kif 62475-62475	Precipitation is a subclass of water motion
(termFormat ChineseTraditionalLanguage WaterMotion "水運動")	domainEnglishFormat.kif 62474-62474	Precipitation is a subclass of water motion
(termFormat EnglishLanguage WaterMotion "water motion")	domainEnglishFormat.kif 62473-62473	Precipitation is a subclass of water motion

appearance as argument number 3

(domain flowCurrent 1 WaterMotion)

Geography.kif 5558-5558

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 5561-5570	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 11271-11276	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 1613-1625	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 2022-2028	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 ?TW TapWater) (exists (?LM ?F) (and (instance ?LM WaterMotion) (patient ?LM ?TW) (origin ?LM ?F) (instance ?F Faucet))))	Food.kif 276-283	If an entity is an instance of tap water, then there exist a process and an object such that the process is an instance of water motion and the entity is a patient of the process and the process originates at the object and the object is an instance of faucet
(=> (instance ?W WaterSprinkler) (hasPurpose ?W (exists (?WM) (and (instance ?WM WaterMotion) (origin ?WM ?W)))))	Mid-level-ontology.kif 25732-25738	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 25754-25764	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 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