TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Somersaulting BodyMotion)	Mid-level-ontology.kif 540-540	Somersaulting is a subclass of body motion
(documentation Somersaulting EnglishLanguage "Any BodyMotion which begins and ends in a Sitting position and where the feet roll over the head and return to their original position.")	Mid-level-ontology.kif 541-543	Somersaulting is a subclass of body motion
(externalImage Somersaulting "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Somersault.jpg")	pictureList.kif 2735-2735	Somersaulting is a subclass of body motion

appearance as argument number 2

(termFormat EnglishLanguage Somersaulting "somersaulting")	domainEnglishFormat.kif 53929-53929
(termFormat ChineseTraditionalLanguage Somersaulting "翻筋斗")	domainEnglishFormat.kif 53930-53930
(termFormat ChineseLanguage Somersaulting "翻筋斗")	domainEnglishFormat.kif 53931-53931

antecedent

(=>
    (and
        (instance ?S Somersaulting)
        (agent ?S ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?S))
            (attribute ?A Sitting))
        (holdsDuring
            (EndFn
                (WhenFn ?S))
            (attribute ?A Sitting))))

If X is an instance of somersaulting and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and sitting is an attribute of Y holds during the end of the time of existence of X