| 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 1730-1732 | |
| (domainSubclass muscleInsertion 1 Muscle) | Anatomy.kif 1735-1735 | |
| (domainSubclass muscleInsertion 2 BodyPart) | Anatomy.kif 1736-1736 | |
| (instance muscleInsertion BinaryPredicate) | Anatomy.kif 1734-1734 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage muscleInsertion "the insertion point of %1 is %2") | Anatomy.kif 1737-1737 | |
| (termFormat EnglishLanguage muscleInsertion "muscle insertion") | Anatomy.kif 1738-1738 |
| 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 1744-1755 | |
| (=> (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 1757-1779 | |
| (=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1740-1742 |
| 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