Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Extension(extension) |  | extension, hyperextension |
| appearance as argument number 1 |
|
|
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 12072-12072 | Extension is a subclass of body motion |
| (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 12074-12085 | Extension is a subclass of body motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Extension "extension") | domainEnglishFormat.kif 64842-64842 |
| antecedent |
|
|
| (=> (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 12100-12110 | If X is an instance of extension 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 (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 |
| consequent |
|
|
| (=> (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 |
|