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

appearance as argument number 2

(instance AntarcticCircumpolarCurrent WaterMotion)	Geography.kif 4763-4763	Antarctic circumpolar current is an instance of water motion
(subclass HeavySurf WaterMotion)	Weather.kif 1537-1537	Heavy zone is a subclass of water motion
(subclass Precipitation WaterMotion)	Merge.kif 11269-11269	Precipitation is a subclass of water motion
(termFormat ChineseLanguage WaterMotion "水运动")	domainEnglishFormat.kif 62450-62450	Precipitation is a subclass of water motion
(termFormat ChineseTraditionalLanguage WaterMotion "水運動")	domainEnglishFormat.kif 62449-62449	Precipitation is a subclass of water motion
(termFormat EnglishLanguage WaterMotion "water motion")	domainEnglishFormat.kif 62448-62448	Precipitation is a subclass of water motion

appearance as argument number 3

(domain flowCurrent 1 WaterMotion)

Geography.kif 5627-5627

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 5630-5639	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 11300-11305	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 1612-1624	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 2095-2101	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 26563-26569	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 26585-26595	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