TreeView Knowledge Base Browser - LiquidMotion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LiquidMotion

LiquidMotion(liquid motion)

breathe, countercurrent, course, crosscurrent, debris_storm, debris_surge, drain, drippage, dripping, feed, flow, flowing, flux, fluxion, gush, ooze, pour, regurgitate, rip, riptide, run, run_out, rush, sea-poose, sea-purse, sea-puss, sea_purse, sea_puss, seep, spate, spin, spirt, spout, spurt, stream, surge, tide_rip, undercurrent, undertide, undertow, upsurge

appearance as argument number 1

(documentation LiquidMotion ChineseLanguage "这是当 patient 是 Liquid 时的任何 Motion。这个类别特别会包括 Water 的流动。")	chinese_format.kif 3021-3022
(documentation LiquidMotion EnglishLanguage "Any Motion where the patient is a Liquid. This class would cover, in particular, the flow of Water.")	Merge.kif 11091-11093
(subclass LiquidMotion Motion)	Merge.kif 11089-11089	Liquid motion is a subclass of motion

appearance as argument number 2

(subclass BleedingAir LiquidMotion)	Cars.kif 1512-1512	Bleeding air is a subclass of liquid motion
(subclass Cavitating LiquidMotion)	Cars.kif 1735-1735	Cavitating is a subclass of liquid motion
(subclass Dripping LiquidMotion)	Mid-level-ontology.kif 16941-16941	Dripping is a subclass of liquid motion
(subclass Flooding LiquidMotion)	Mid-level-ontology.kif 16997-16997	Flooding is a subclass of liquid motion
(subclass Perspiring LiquidMotion)	emotion.kif 1488-1488	Sweating is a subclass of liquid motion
(subclass Pouring LiquidMotion)	Mid-level-ontology.kif 16950-16950	Pouring is a subclass of liquid motion
(subclass Spraying LiquidMotion)	Mid-level-ontology.kif 17019-17019	Spraying is a subclass of liquid motion
(subclass Stirring LiquidMotion)	Mid-level-ontology.kif 16945-16945	Stirring is a subclass of liquid motion
(subclass WaterMotion LiquidMotion)	Merge.kif 11101-11101	Water motion is a subclass of liquid motion
(subclass WaterWave LiquidMotion)	Mid-level-ontology.kif 16968-16968	Water wave is a subclass of liquid motion
(subclass Weeping LiquidMotion)	emotion.kif 1608-1608	Weeping is a subclass of liquid motion
(termFormat ChineseLanguage LiquidMotion "液体运动")	domainEnglishFormat.kif 34638-34638
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動")	domainEnglishFormat.kif 34637-34637
(termFormat EnglishLanguage LiquidMotion "liquid motion")	domainEnglishFormat.kif 34636-34636

appearance as argument number 3

(domain FlowRegionFn 1 LiquidMotion)

Geography.kif 4823-4823

The number 1 argument of flow region is an instance of liquid motion

antecedent

(=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L))))))	engineering.kif 938-951	If an object is an instance of faucet and a process is an instance of liquid motion and an entity is a patient of the process and the process is located at the object, then there doesn't exist another entity such that the other entity is an instance of tube and the other entity contains the entity holds during immediately after the time of existence of the process
(=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid))	Merge.kif 11095-11099	If a process is an instance of liquid motion and an object is a patient of the process, then liquid is an attribute of the object

consequent

(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 10867-10884	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
(=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 11396-11413	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
(=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T)))))	Mid-level-ontology.kif 10246-10255	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of HeartBeat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity

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