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 | 子類 液體運動 and Motion |
appearance as argument number 2 |
(subclass Bleeding LiquidMotion) | Mid-level-ontology.kif 21378-21378 | 子類 流血的 and 液體運動 |
(subclass BleedingAir LiquidMotion) | Cars.kif 1512-1512 | 子類 BleedingAir and 液體運動 |
(subclass BloodCirculation LiquidMotion) | Medicine.kif 484-484 | 子類 BloodCirculation and 液體運動 |
(subclass Cavitating LiquidMotion) | Cars.kif 1735-1735 | 子類 Cavitating and 液體運動 |
(subclass CoffeeMaking LiquidMotion) | Food.kif 651-651 | 子類 CoffeeMaking and 液體運動 |
(subclass Dripping LiquidMotion) | Mid-level-ontology.kif 17524-17524 | 子類 滴水 and 液體運動 |
(subclass Flooding LiquidMotion) | Mid-level-ontology.kif 17580-17580 | 子類 洪水 and 液體運動 |
(subclass Perspiring LiquidMotion) | emotion.kif 1480-1480 | 子類 Perspiring and 液體運動 |
(subclass Pouring LiquidMotion) | Mid-level-ontology.kif 17533-17533 | 子類 澆注 and 液體運動 |
(subclass Spraying LiquidMotion) | Mid-level-ontology.kif 17602-17602 | 子類 噴 and 液體運動 |
(subclass Stirring LiquidMotion) | Mid-level-ontology.kif 17528-17528 | 子類 攪拌 and 液體運動 |
(subclass WaterMotion LiquidMotion) | Merge.kif 11232-11232 | 子類 水運動 and 液體運動 |
(subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 17551-17551 | 子類 水波 and 液體運動 |
(subclass Weeping LiquidMotion) | emotion.kif 1600-1600 | 子類 泣 and 液體運動 |
(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 | 域 流動區域, 1 and 液體運動 |
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 | |
(=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11226-11230 |
consequent |