| 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 1766-1768 | |
| (domainSubclass muscleInsertion 1 Muscle) | Anatomy.kif 1771-1771 | |
| (domainSubclass muscleInsertion 2 BodyPart) | Anatomy.kif 1772-1772 | |
| (instance muscleInsertion BinaryPredicate) | Anatomy.kif 1770-1770 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage muscleInsertion "the insertion point of %1 is %2") | Anatomy.kif 1773-1773 | |
| (termFormat EnglishLanguage muscleInsertion "muscle insertion") | Anatomy.kif 1774-1774 |
| antecedent |
|
|
| (=> (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) (connects ?M ?BP)))) |
Anatomy.kif 1780-1791 | |
| (=> (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 1793-1815 | |
| (=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1776-1778 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners