| 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 31891-31891 | |
| (termFormat ChineseTraditionalLanguage Jumping "跳躍") | domainEnglishFormat.kif 31890-31890 | |
| (termFormat EnglishLanguage Jumping "jumping") | domainEnglishFormat.kif 31889-31889 |
| antecedent |
|
|
| (=> (and (instance ?J Jumping) (agent ?J ?A)) (holdsDuring (EndFn (WhenFn ?J)) (not (attribute ?A Standing)))) |
Mid-level-ontology.kif 541-548 |
|
|
|