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 11256-11258 | |
(documentation LiquidMotion JapaneseLanguage "patient が Liquid の Motion。このクラス は、特に Water の流れをカバーする。") | japanese_format.kif 1786-1787 | |
(subclass LiquidMotion Motion) | Merge.kif 11254-11254 |
appearance as argument number 2 |
(subclass Bleeding LiquidMotion) | Mid-level-ontology.kif 21405-21405 | |
(subclass BleedingAir LiquidMotion) | Cars.kif 1512-1512 | |
(subclass BloodCirculation LiquidMotion) | Medicine.kif 484-484 | |
(subclass Cavitating LiquidMotion) | Cars.kif 1741-1741 | |
(subclass CoffeeMaking LiquidMotion) | Food.kif 651-651 | |
(subclass Dripping LiquidMotion) | Mid-level-ontology.kif 17551-17551 | |
(subclass Flooding LiquidMotion) | Mid-level-ontology.kif 17607-17607 | |
(subclass Perspiring LiquidMotion) | emotion.kif 1480-1480 | |
(subclass Pouring LiquidMotion) | Mid-level-ontology.kif 17560-17560 | |
(subclass Spraying LiquidMotion) | Mid-level-ontology.kif 17629-17629 | |
(subclass Stirring LiquidMotion) | Mid-level-ontology.kif 17555-17555 | |
(subclass WaterMotion LiquidMotion) | Merge.kif 11266-11266 | |
(subclass WaterWave LiquidMotion) | Mid-level-ontology.kif 17578-17578 | |
(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 11260-11264 |
consequent |