MotionUpward
|
|
appearance as argument number 1 |
(disjoint MotionUpward MotionDownward) | Merge.kif 11060-11060 | MotionUpward ist dijunkt von MotionDownward %n{nicht} |
(documentation MotionUpward ChineseLanguage "这是当一个 Object 移离地面的 Motion。") | chinese_format.kif 2998-2998 | |
(documentation MotionUpward EnglishLanguage "Motion where an Object is moving away from the ground.") | Merge.kif 11062-11063 | |
(documentation MotionUpward JapaneseLanguage "Object が地面から離れて移動している Motion 。") | japanese_format.kif 1758-1759 | |
(subclass MotionUpward Motion) | Merge.kif 11059-11059 | MotionUpward ist eine teilkategorie von Motion |
appearance as argument number 2 |
(subclass Jumping MotionUpward) | Mid-level-ontology.kif 544-544 | Jumping ist eine teilkategorie von MotionUpward |
(subclass StandingUp MotionUpward) | Mid-level-ontology.kif 19923-19923 | StandingUp ist eine teilkategorie von MotionUpward |
(termFormat ChineseLanguage MotionUpward "向上运动") | domainEnglishFormat.kif 38775-38775 | |
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") | domainEnglishFormat.kif 38774-38774 | |
(termFormat EnglishLanguage MotionUpward "motion upward") | domainEnglishFormat.kif 38773-38773 |
consequent |
(=> (instance ?E Elevator) (and (capability MotionUpward instrument ?E) (capability MotionDownward instrument ?E))) |
Mid-level-ontology.kif 15442-15446 |
|
(=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H)) |
Mid-level-ontology.kif 2485-2487 |
|
(=> (instance ?LADDER Ladder) (and (capability MotionUpward instrument ?LADDER) (capability MotionDownward instrument ?LADDER))) |
Mid-level-ontology.kif 15113-15117 |
|
(=> (instance ?R Ramp) (capability MotionUpward path ?R)) |
Mid-level-ontology.kif 2366-2368 | |
(=> (instance ?S Stairway) (and (capability MotionUpward instrument ?S) (capability MotionDownward instrument ?S))) |
Mid-level-ontology.kif 15067-15071 |
|
(=> (instance ?STEPS Steps) (and (capability MotionUpward instrument ?STEPS) (capability MotionDownward instrument ?STEPS))) |
Mid-level-ontology.kif 15091-15095 |
|
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?LOW ?AREA ?AIR ?RISE) (and (instance ?LOW LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?LOW ?AREA) (instance ?AIR Air) (instance ?RISE MotionUpward) (patient ?RISE ?AIR) (eventLocated ?RISE ?AREA) (subProcess ?RISE ?LOW))))) |
Weather.kif 2916-2929 |
|