TreeView Knowledge Base Browser

appearance as argument number 1

(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 551-553
(externalImage Somersaulting "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Somersault.jpg")	pictureList.kif 2736-2736
(subclass Somersaulting BodyMotion)	Mid-level-ontology.kif 550-550	子類翻筋斗 and BodyMotion

appearance as argument number 2

(termFormat ChineseLanguage Somersaulting "翻筋斗")	domainEnglishFormat.kif 53936-53936
(termFormat ChineseTraditionalLanguage Somersaulting "翻筋斗")	domainEnglishFormat.kif 53935-53935
(termFormat EnglishLanguage Somersaulting "somersaulting")	domainEnglishFormat.kif 53934-53934

antecedent

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

Mid-level-ontology.kif 555-565