TreeView Knowledge Base Browser

appearance as argument number 1

(subclass KneelingDown BodyMotion)	Mid-level-ontology.kif 21803-21803	Kneeling down is a subclass of body motion
(documentation KneelingDown EnglishLanguage "The act of assuming the BodyPosition of resting one's weight on one's Knees.")	Mid-level-ontology.kif 21804-21805	Kneeling down is a subclass of body motion

appearance as argument number 2

(termFormat EnglishLanguage KneelingDown "kneeling down")

antecedent

(=>
    (and
        (instance ?KB KneelingDown)
        (agent ?KB ?A))
    (holdsDuring
        (EndFn
            (WhenFn ?KB))
        (attribute ?A Kneeling)))

If X is an instance of kneeling down and Y is an agent of X, then kneeling is an attribute of Y holds during the end of the time of existence of X