Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Flexion
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 12048-12048 | Flexion is a subclass of body motion |
| (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 12050-12058 | Flexion is a subclass of body motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Flexion "flexion") | domainEnglishFormat.kif 64875-64875 |
| antecedent |
|
|
| (=> (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 12060-12070 | If X is an instance of flexion and Y moves during X, then there exist Z, W such that Z is an instance of muscle, W is an instance of muscular contraction, Z is an instrument for X, Z is connected to Y, and W is a subprocess of X |
| (=> (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 12087-12098 | If X is an instance of flexion, Y is an agent of X, and Z moves during X, then there doesn't exist W such that W is an instance of extension, equal the time of existence of W, the time of existence of X, Y is an agent of W, and Z moves during W |
| (=> (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 12125-12136 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of flexion (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing extension as a instrument |
| 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 12138-12149 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of extension (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing flexion as a instrument |
|