Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| muscleOrigin |
| appearance as argument number 1 |
|
| (documentation muscleOrigin EnglishLanguage "The origin of a muscle is an attachment site that connects the MMuscle to a Bone or other BodyPart. This point is typically proximal to the body and does not move during MuscularContraction (relative to StandardAnatomicalPosition). This is a relationship between classes of things, where a typical and healthy Human (and likely more broadly for Primates) will have a muscle with the given origin point. [from Wikipedia]") | Anatomy.kif 1701-1705 | |
| (instance muscleOrigin BinaryPredicate) | Anatomy.kif 1707-1707 | muscle origin is an instance of binary predicate |
| (domainSubclass muscleOrigin 1 Muscle) | Anatomy.kif 1708-1708 | The number 1 argument of muscle origin is a subclass of muscle |
| (domainSubclass muscleOrigin 2 BodyPart) | Anatomy.kif 1709-1709 | The number 2 argument of muscle origin is a subclass of body part |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage muscleOrigin "the origin of %1 is %2") | Anatomy.kif 1710-1710 | |
| (termFormat EnglishLanguage muscleOrigin "muscle origin") | Anatomy.kif 1711-1711 |
| antecedent |
|
|
| (=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1713-1715 | If the origin of X is Y, then a X is connected to a Y |
| (=> (and (muscleOrigin ?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 1717-1728 | If the origin 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 (muscleOrigin ?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) (located ?E ?L))) |
Anatomy.kif 1730-1751 | If All of the following hold: (1) the origin 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 located at R holds during the end of V |
| appearance as argument number 0 |
|
|
|