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