| 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 11188-11190 | |
| (documentation LiquidMotion JapaneseLanguage "patient が Liquid の Motion。このクラス は、特に Water の流れをカバーする。") | japanese_format.kif 1786-1787 | |
| (subclass LiquidMotion Motion) | Merge.kif 11186-11186 |
| appearance as argument number 2 |
|
|
| (subclass BleedingAir LiquidMotion) | Cars.kif 1512-1512 | |
| (subclass Cavitating LiquidMotion) | Cars.kif 1735-1735 | |
| (subclass Dripping LiquidMotion) | Mid-level-ontology.kif 17394-17394 | |
| (subclass Flooding LiquidMotion) | Mid-level-ontology.kif 17450-17450 | |
| (subclass Perspiring LiquidMotion) | emotion.kif 1480-1480 | |
| (subclass Pouring LiquidMotion) | Mid-level-ontology.kif 17403-17403 | |
| (subclass Spraying LiquidMotion) | Mid-level-ontology.kif 17472-17472 | |
| (subclass Stirring LiquidMotion) | Mid-level-ontology.kif 17398-17398 | |
| (subclass WaterMotion LiquidMotion) | Merge.kif 11198-11198 | |
| (subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 17421-17421 | |
| (subclass Weeping LiquidMotion) | emotion.kif 1600-1600 | |
| (termFormat ChineseLanguage LiquidMotion "液体运动") | domainEnglishFormat.kif 34664-34664 | |
| (termFormat ChineseTraditionalLanguage LiquidMotion "液體運動") | domainEnglishFormat.kif 34663-34663 | |
| (termFormat EnglishLanguage LiquidMotion "liquid motion") | domainEnglishFormat.kif 34662-34662 |
| appearance as argument number 3 |
|
|
| (domain FlowRegionFn 1 LiquidMotion) | Geography.kif 4827-4827 |
| 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 | |
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11192-11196 |
| 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 11256-11273 | |
| (=> (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 11785-11802 | |
| (=> (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 10633-10642 |
|
|
|