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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flexion
Flexiondorsiflexion, flex, flexion, flexure

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


(documentation Flexion EnglishLanguage "Flexion describes a bending movement that decreases the angle between a segment and its proximal segment. For example, bending the elbow, or clenching a hand into a fist, are examples of flexion. When a person is sitting down, the knees are flexed. When a joint can move forward and backward, such as the neck and trunk, flexion is movement in the anterior direction. When the chin is against the chest, the head is flexed, and the trunk is flexed when a person leans forward. Flexion of the shoulder or hip is movement of the arm or leg forward.[from Wikipedia]") Mid-level-ontology.kif 10109-10117
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10107-10107 Flexion is a subclass of body motion

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?A)
        (moves ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Extension))
Mid-level-ontology.kif 10181-10192
(=>
    (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 10146-10157
(=>
    (and
        (instance ?F Flexion)
        (moves ?F ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?F ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?F))))
Mid-level-ontology.kif 10119-10129

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Extension)
        (instrument ?F ?A)
        (moves ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Flexion))
Mid-level-ontology.kif 10194-10205


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