Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Extension
Extension(extension)extension, hyperextension

appearance as argument number 1
-------------------------


(documentation Extension EnglishLanguage "Extension is the opposite of flexion, describing a straightening movement that increases the angle between body parts. For example, when standing up, the knees are extended. When a joint can move forward and backward, such as the neck and trunk, extension is movement in the posterior direction. Extension of the hip or shoulder moves the arm or leg backward. Even for other upper extremity joints - elbow and wrist, posterior movement of the distal segment results in extension. Except for knee, ankle, and wrist, where the distal end has to move in the anterior direction for it to be called extension. Hyperextension is any extension that goes beyond 180 degrees and becomes reflexive.[from Wikipedia]") Mid-level-ontology.kif 11970-11981
(subclass Extension BodyMotion) Mid-level-ontology.kif 11968-11968 Extension is a subclass of body motion

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Extension "extension") domainEnglishFormat.kif 64862-64862

antecedent
-------------------------


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?E ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Flexion instrument ?BC))
Mid-level-ontology.kif 12034-12045
(=>
    (and
        (instance ?E Extension)
        (moves ?E ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?E ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?E))))
Mid-level-ontology.kif 11996-12006

consequent
-------------------------


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Extension instrument ?BC))
Mid-level-ontology.kif 12021-12032
(=>
    (and
        (instance ?F Flexion)
        (agent ?F ?A)
        (moves ?F ?BP))
    (not
        (exists (?E)
            (and
                (instance ?E Extension)
                (equal
                    (WhenFn ?E)
                    (WhenFn ?F))
                (agent ?E ?A)
                (moves ?E ?BP)))))
Mid-level-ontology.kif 11983-11994


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners