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

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 11222-11224
(documentation LiquidMotion JapaneseLanguage "patient が Liquid の Motion。このクラスは、特に Water の流れをカバーする。")	japanese_format.kif 1786-1787
(subclass LiquidMotion Motion)	Merge.kif 11220-11220	LiquidMotion ist eine teilkategorie von Motion

appearance as argument number 2

(subclass Bleeding LiquidMotion)	Mid-level-ontology.kif 21378-21378	Bleeding ist eine teilkategorie von LiquidMotion
(subclass BleedingAir LiquidMotion)	Cars.kif 1512-1512	BleedingAir ist eine teilkategorie von LiquidMotion
(subclass BloodCirculation LiquidMotion)	Medicine.kif 484-484	BloodCirculation ist eine teilkategorie von LiquidMotion
(subclass Cavitating LiquidMotion)	Cars.kif 1735-1735	Cavitating ist eine teilkategorie von LiquidMotion
(subclass CoffeeMaking LiquidMotion)	Food.kif 651-651	CoffeeMaking ist eine teilkategorie von LiquidMotion
(subclass Dripping LiquidMotion)	Mid-level-ontology.kif 17524-17524	Dripping ist eine teilkategorie von LiquidMotion
(subclass Flooding LiquidMotion)	Mid-level-ontology.kif 17580-17580	Flooding ist eine teilkategorie von LiquidMotion
(subclass Perspiring LiquidMotion)	emotion.kif 1480-1480	Perspiring ist eine teilkategorie von LiquidMotion
(subclass Pouring LiquidMotion)	Mid-level-ontology.kif 17533-17533	Pouring ist eine teilkategorie von LiquidMotion
(subclass Spraying LiquidMotion)	Mid-level-ontology.kif 17602-17602	Spraying ist eine teilkategorie von LiquidMotion
(subclass Stirring LiquidMotion)	Mid-level-ontology.kif 17528-17528	Stirring ist eine teilkategorie von LiquidMotion
(subclass WaterMotion LiquidMotion)	Merge.kif 11232-11232	WaterMotion ist eine teilkategorie von LiquidMotion
(subclass WaterWave LiquidMotion)	Mid-level-ontology.kif 17551-17551	WaterWave ist eine teilkategorie von LiquidMotion
(subclass Weeping LiquidMotion)	emotion.kif 1600-1600	Weeping ist eine teilkategorie von LiquidMotion
(termFormat ChineseLanguage LiquidMotion "液体运动")	domainEnglishFormat.kif 34655-34655
(termFormat ChineseTraditionalLanguage LiquidMotion "液體運動")	domainEnglishFormat.kif 34654-34654
(termFormat EnglishLanguage LiquidMotion "liquid motion")	domainEnglishFormat.kif 34653-34653

appearance as argument number 3

(domain FlowRegionFn 1 LiquidMotion)

Geography.kif 4925-4925

Die Zahl 1 Argument von FlowRegionFn ist ein fall von LiquidMotion %n{nicht}

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 939-952	Wenn Object ist ein fall von Faucet %n{nicht} und Process ist ein fall von LiquidMotion %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process befindet sich an %n{nicht}, dann es gibt nicht entity um entity ist ein fall von Tube %n{nicht} und contains entity and Entity haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid))	Merge.kif 11226-11230	Wenn Process ist ein fall von LiquidMotion %n{nicht} und Object ist ein patient von Process %n{nicht}, dann Liquid ist ein attribut von Object %n{nicht}

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 11368-11385	Wenn Physical ist ein fall von HeartAttack %n{nicht} und Object ist ein fall von Heart %n{nicht} und Physical befindet sich an %n{nicht}, dann es gibt Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht TimeInterval und Object um TimeInterval ist ein fall von LiquidMotion %n{nicht} und objectTransferred TimeInterval and Object und Object ist ein fall von Blood %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von Physical %n{nicht} und TimeInterval endet an ** Object %n{nicht}
(=> (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 11915-11932	Wenn Physical ist ein fall von Stroke %n{nicht} und Object ist ein fall von Brain %n{nicht} und Physical befindet sich an %n{nicht}, dann es gibt Object um Object ist ein fall von NerveCell %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht TimeInterval und Object um TimeInterval ist ein fall von LiquidMotion %n{nicht} und objectTransferred TimeInterval and Object und Object ist ein fall von Blood %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von Physical %n{nicht} und TimeInterval endet an ** Object %n{nicht}
(=> (and (suppliesBlood ?AC ?BPC) (instance ?A ?AC) (instance ?BP ?BPC)) (hasPurpose ?A (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (destination ?BF ?BP)))))	Anatomy.kif 1947-1958	Wenn suppliesBlood Artery and BodyPart und Physical ist ein fall von Artery %n{nicht} und Entity ist ein fall von BodyPart %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von LiquidMotion %n{nicht} und objectTransferred entity and entity und entity ist ein fall von Blood %n{nicht} und entity endet an Entity %n{nicht} %n{nicht}
(=> (instance ?CM CoffeeMaking) (exists (?LM ?W ?CG) (and (subProcess ?LM ?CM) (instance ?LM LiquidMotion) (patient ?LM ?W) (instance ?W DrinkingWater) (destination ?LM ?CG) (instance ?CG CoffeeGrind))))	Food.kif 664-673	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Entity, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von LiquidMotion %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von DrinkingWater %n{nicht} und Process endet an Entity %n{nicht} und ** Entity ist ein fall von CoffeeGrind %n{nicht}
(=> (instance ?CM CoffeeMaking) (holdsDuring ?CM (exists (?LM ?S ?R) (and (instance ?LM LiquidMotion) (instance ?S Soaking) (instance ?R Removing) (before (BeginFn (WhenFn ?LM)) (BeginFn (WhenFn ?S))) (before (BeginFn (WhenFn ?S)) (BeginFn (WhenFn ?R)))))))	Food.kif 703-716	Wenn TimePosition ist ein fall von CoffeeMaking %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein fall von Soaking %n{nicht} und entity ist ein fall von Removing %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R)))))))	Food.kif 799-834	Wenn TimePosition ist ein fall von EspressoMaking %n{nicht}, dann es gibt entity, entity,, , entity,, , entity,, , entity,, , entity,, , entity,, , entity,, , entity,, , entity, and und entity um entity ist ein fall von Heating %n{nicht} und entity ist ein patient von entity %n{nicht} und das mass von entity ist entity Liter(s) %n{nicht} und approximateValue entity and 0.03 und das mass von entity ist entity CelsiusDegree(s) %n{nicht} und approximateValue entity and 90 haelt waehrend das ende von die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein patient von entity %n{nicht} und das mass von entity ist entity 1 tausend Pascal(s) %n{nicht} und approximateValue entity and 900 haelt waehrend entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von Collection %n{nicht} und das mass von entity ist entity Gram(s) %n{nicht} und approximateValue entity and 7.5 und entity ist ein Mitglied von entity %n{nicht} und entity ist ein fall von CoffeeGrind %n{nicht} und FineGrind ist ein attribut von entity %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Filter %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und das ende von die zeit des Bestehens von entity ist zwischen das ende von die zeit des Bestehens von entity und das ende von die zeit des Bestehens von entity haelt waehrend ** TimePosition %n{nicht}
(=> (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 10742-10751	Wenn Physical ist ein fall von Heart %n{nicht}, dann Physical hat Zweck von es gibt entity, PhysicalB, and und entity um PhysicalB ist ein fall von HeartBeat %n{nicht} und entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein fall von Blood %n{nicht} und moves entity and entity und PhysicalB verursacht entity %n{nicht} %n{nicht}

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