| Flexion | |
| 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 10815-10823 | |
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 10813-10813 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Flexion "flexion") | domainEnglishFormat.kif 64897-64897 |
| antecedent |
|
|
| (=> (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 10890-10901 | |
| (=> (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 10852-10863 | |
| (=> (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 10825-10835 |
| consequent |
|
|
| (=> (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 10903-10914 |
|
|
|