MotionDownward
|
|
appearance as argument number 1 |
(documentation MotionDownward ChineseLanguage "这是当一个 Object 移向地面的 Motion。") | chinese_format.kif 2999-2999 | |
(documentation MotionDownward EnglishLanguage "Motion where an Object is moving toward the ground.") | Merge.kif 11101-11102 | |
(documentation MotionDownward JapaneseLanguage "Object が地面に向かって移動している Motion。") | japanese_format.kif 1760-1761 | |
(subclass MotionDownward Motion) | Merge.kif 11099-11099 | MotionDownward ist eine teilkategorie von Motion |
appearance as argument number 2 |
consequent |
(=> (instance ?E Elevator) (and (capability MotionUpward instrument ?E) (capability MotionDownward instrument ?E))) |
Mid-level-ontology.kif 15469-15473 |
|
(=> (instance ?H HoistingDevice) (capability MotionDownward instrument ?H)) |
Mid-level-ontology.kif 2482-2484 |
|
(=> (instance ?HABOOB Haboob) (exists (?TS ?DM ?A) (and (instance ?TS Thunderstorm) (instance ?DM MotionDownward) (instance ?A Air) (patient ?DM ?A) (subProcess ?DM ?TS) (causes ?DM ?HABOOB)))) |
Weather.kif 1302-1311 |
|
(=> (instance ?LADDER Ladder) (and (capability MotionUpward instrument ?LADDER) (capability MotionDownward instrument ?LADDER))) |
Mid-level-ontology.kif 15140-15144 |
|
(=> (instance ?R Ramp) (capability MotionDownward path ?R)) |
Mid-level-ontology.kif 2363-2365 | |
(=> (instance ?S Stairway) (and (capability MotionUpward instrument ?S) (capability MotionDownward instrument ?S))) |
Mid-level-ontology.kif 15094-15098 |
|
(=> (instance ?STEPS Steps) (and (capability MotionUpward instrument ?STEPS) (capability MotionDownward instrument ?STEPS))) |
Mid-level-ontology.kif 15118-15122 |
|