Jumping(jumping) | bounce, bound, caper, capriole, curvet, hop, hop-skip, jounce, jump, leap, leapfrog, leaping, overleap, pronk, saltate, saltation, ski_jump, skip, spring, vault |
appearance as argument number 1 |
(documentation Jumping EnglishLanguage "Any MotionUpward which is done by one's body and which results in a situation where one's feet are unsupported.") | Mid-level-ontology.kif 538-539 | |
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/1/ 1c/ VanesaMallory.jpg") | pictureList.kif 2835-2835 | |
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Le_Parkour_-_Saut_de_Pr%C3%A9cision.jpg") | pictureList.kif 2695-2695 | |
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ 05delsol19.jpg") | pictureList.kif 2836-2836 | |
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Hometrampoline.jpg/ 250px-Hometrampoline.jpg") | pictureList.kif 1150-1150 | |
(subclass Jumping BodyMotion) | Mid-level-ontology.kif 536-536 | Jumping is a subclass of body motion |
(subclass Jumping MotionUpward) | Mid-level-ontology.kif 537-537 | Jumping is a subclass of motion upward |
appearance as argument number 2 |
(termFormat ChineseLanguage Jumping "跳跃") | domainEnglishFormat.kif 31925-31925 | |
(termFormat ChineseTraditionalLanguage Jumping "跳躍") | domainEnglishFormat.kif 31924-31924 | |
(termFormat EnglishLanguage Jumping "jumping") | domainEnglishFormat.kif 31923-31923 |
antecedent |
(=> (and (instance ?J Jumping) (agent ?J ?A)) (holdsDuring (EndFn (WhenFn ?J)) (not (attribute ?A Standing)))) |
Mid-level-ontology.kif 541-548 |