(subclass MotionUpward Motion) | Merge.kif 11059-11059 | MotionUpward は motion の subclass では %n |
(subclass Jumping MotionUpward) | Mid-level-ontology.kif 544-544 | Jumping は MotionUpward の subclass では %n |
(subclass StandingUp MotionUpward) | Mid-level-ontology.kif 19923-19923 | StandingUp は MotionUpward の subclass では %n |