appearance as argument number 1 |
![]() |
(disjoint MotionUpward MotionDownward) | Merge.kif 10206-10206 | |
(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 10208-10209 | |
(subclass MotionUpward Motion) | Merge.kif 10205-10205 |
appearance as argument number 2 |
![]() |
(subclass Jumping MotionUpward) | Mid-level-ontology.kif 721-721 | |
(subclass StandingUp MotionUpward) | Mid-level-ontology.kif 17681-17681 | |
(termFormat ChineseLanguage MotionUpward "向上运动") | domainEnglishFormat.kif 38695-38695 | |
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") | domainEnglishFormat.kif 38694-38694 | |
(termFormat EnglishLanguage MotionUpward "motion upward") | domainEnglishFormat.kif 38693-38693 |
consequent |
![]() |
![]() |
![]() |