| Extension | |
| 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 10839-10850 | |
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 10837-10837 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Extension "extension") | domainEnglishFormat.kif 64864-64864 |
| 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 10903-10914 | |
| (=> (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 10865-10875 |
| 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 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 |
|
|
|