TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Jumping BodyMotion)	Mid-level-ontology.kif 526-526	Jumping is a subclass of body motion
(subclass Jumping MotionUpward)	Mid-level-ontology.kif 527-527	Jumping is a subclass of motion upward
(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 528-529	Jumping is a subclass of motion upward
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Hometrampoline.jpg/ 250px_Hometrampoline.jpg")	pictureList.kif 1150-1150	Jumping is a subclass of motion upward
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Le_Parkour_-_Saut_de_Pr%C3%A9cision.jpg")	pictureList.kif 2694-2694	Jumping is a subclass of motion upward
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/1/ 1c/ VanesaMallory.jpg")	pictureList.kif 2834-2834	Jumping is a subclass of motion upward
(externalImage Jumping "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ 05delsol19.jpg")	pictureList.kif 2835-2835	Jumping is a subclass of motion upward

appearance as argument number 2

(termFormat EnglishLanguage Jumping "jumping")	domainEnglishFormat.kif 31893-31893
(termFormat ChineseTraditionalLanguage Jumping "跳躍")	domainEnglishFormat.kif 31894-31894
(termFormat ChineseLanguage Jumping "跳跃")	domainEnglishFormat.kif 31895-31895

antecedent

(=>
    (and
        (instance ?J Jumping)
        (agent ?J ?A))
    (holdsDuring
        (EndFn
            (WhenFn ?J))
        (not
            (attribute ?A Standing))))

If X is an instance of jumping and Y is an agent of X, then standing is not an attribute of Y holds during the end of the time of existence of X