Jumping |
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 2834-2834 | |
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Le_Parkour_-_Saut_de_Pr%C3%A9cision.jpg") | pictureList.kif 2694-2694 | |
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ 05delsol19.jpg") | pictureList.kif 2835-2835 | |
(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 | |
(subclass Jumping MotionUpward) | Mid-level-ontology.kif 537-537 |
appearance as argument number 2 |
(termFormat ChineseLanguage Jumping "跳跃") | domainEnglishFormat.kif 31920-31920 | |
(termFormat ChineseTraditionalLanguage Jumping "跳躍") | domainEnglishFormat.kif 31919-31919 | |
(termFormat EnglishLanguage Jumping "jumping") | domainEnglishFormat.kif 31918-31918 |
antecedent |
(=> (and (instance ?J Jumping) (agent ?J ?A)) (holdsDuring (EndFn (WhenFn ?J)) (not (attribute ?A Standing)))) |
Mid-level-ontology.kif 541-548 |