Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| muscleInsertion |
| appearance as argument number 1 |
|
| (documentation muscleInsertion EnglishLanguage "The insertion of a muscle is an attachment site that connects the MMuscle to a Bone. This point is typically distal to the body and moves during MuscularContraction (relative to StandardAnatomicalPosition).[from Wikipedia]") | Anatomy.kif 1753-1755 | |
| (instance muscleInsertion BinaryPredicate) | Anatomy.kif 1757-1757 | muscle insertion is an instance of binary predicate |
| (domainSubclass muscleInsertion 1 Muscle) | Anatomy.kif 1758-1758 | The number 1 argument of muscle insertion is a subclass of muscle |
| (domainSubclass muscleInsertion 2 BodyPart) | Anatomy.kif 1759-1759 | The number 2 argument of muscle insertion is a subclass of body part |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage muscleInsertion "the insertion point of %1 is %2") | Anatomy.kif 1760-1760 | |
| (termFormat EnglishLanguage muscleInsertion "muscle insertion") | Anatomy.kif 1761-1761 |
| antecedent |
|
|
| (=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1763-1765 | If the insertion point of X is Y, then a X is connected to a Y |
| (=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (attribute ?H Healthy)) (exists (?M ?BP) (and (instance ?M ?MC) (instance ?BP ?BPC) (part ?M ?H) (part ?BP ?H) (connected ?M ?BP)))) |
Anatomy.kif 1767-1778 | If the insertion point of X is Y, Z is an instance of human, and healthy is an attribute of Z, then there exist W, V such that W is an instance of X, V is an instance of Y, W is a part of Z, V is a part of Z, and W is connected to V |
| (=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (not (located ?E ?L)))) |
Anatomy.kif 1780-1802 | If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V |
| appearance as argument number 0 |
|
|
|