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 |
appearance as argument number 2 |
(subclass Bleeding LiquidMotion) | Mid-level-ontology.kif 21378-21378 | |
(subclass BleedingAir LiquidMotion) | Cars.kif 1512-1512 | |
(subclass BloodCirculation LiquidMotion) | Medicine.kif 484-484 | |
(subclass Cavitating LiquidMotion) | Cars.kif 1735-1735 | |
(subclass CoffeeMaking LiquidMotion) | Food.kif 651-651 | |
(subclass Dripping LiquidMotion) | Mid-level-ontology.kif 17524-17524 | |
(subclass Flooding LiquidMotion) | Mid-level-ontology.kif 17580-17580 | |
(subclass Perspiring LiquidMotion) | emotion.kif 1480-1480 | |
(subclass Pouring LiquidMotion) | Mid-level-ontology.kif 17533-17533 | |
(subclass Spraying LiquidMotion) | Mid-level-ontology.kif 17602-17602 | |
(subclass Stirring LiquidMotion) | Mid-level-ontology.kif 17528-17528 | |
(subclass WaterMotion LiquidMotion) | Merge.kif 11232-11232 | |
(subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 17551-17551 | |
(subclass Weeping LiquidMotion) | emotion.kif 1600-1600 | |
(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 |
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 |