Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  muscleInsertion

 Sigma KEE - muscleInsertion
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
-------------------------


(muscleInsertion OccipitofrontalisMuscle EpicranialAponeurosis) Muscles.kif 21-21 The insertion point of occipitofrontalis is EpicranialAponeurosis
(muscleInsertion OccipitalisMuscle EpicranialAponeurosis) Muscles.kif 37-37 The insertion point of occipitalis muscle is EpicranialAponeurosis
(muscleInsertion OrbicularisOculiMuscle EpicranialAponeurosis) Muscles.kif 57-57 The insertion point of orbicularis oculi muscle is EpicranialAponeurosis
(muscleInsertion CorrugatorSuperciliiMuscle IntermediateThirdOfSkinOfEyebrow) Muscles.kif 67-67 The insertion point of corrugator supercilii muscle is IntermediateThirdOfSkinOfEyebrow
(muscleInsertion DepressorSuperciliiMuscle MedialThirdOfSkinOfEyebrow) Muscles.kif 75-75 The insertion point of depressor supercilii muscle is MedialThirdOfSkinOfEyebrow
(muscleInsertion LevatorPalpebraeSuperiorisMuscle TarsalPlateUpperEyelid) Muscles.kif 82-82 The insertion point of levator palpebrae superioris muscle is TarsalPlateUpperEyelid
(muscleInsertion SuperiorTarsalMuscle SuperiorTarsalPlateOfEyelid) Muscles.kif 94-94 The insertion point of Muller's muscle is SuperiorTarsalPlateOfEyelid
(muscleInsertion SuperiorRectusMuscle SeventyFiveMmSuperiorToCornealLimbus) Muscles.kif 104-104 The insertion point of superior rectus muscle is SeventyFiveMmSuperiorToCornealLimbus
(muscleInsertion InferiorRectusMuscle SixtyFiveMmInferiorToCornealLimbus) Muscles.kif 114-114 The insertion point of inferior rectus muscle is SixtyFiveMmInferiorToCornealLimbus
(muscleInsertion MedialRectusMuscle FiftyFiveMmMedialToCornealLimbus) Muscles.kif 124-124 The insertion point of medial rectus muscle is FiftyFiveMmMedialToCornealLimbus
(muscleInsertion LateralRectusMuscle SevenMmTemporalToCornealLimbus) Muscles.kif 132-132 The insertion point of lateral rectus muscle is SevenMmTemporalToCornealLimbus
(muscleInsertion SuperiorObliqueMuscle OuterPosteriorQuadrantOfEyeball) Muscles.kif 142-142 The insertion point of superior oblique muscle is OuterPosteriorQuadrantOfEyeball
(muscleInsertion InferiorObliqueMuscle LaterallyOntoEyeballDeepToLateralRectusByAShortFlatTendon) Muscles.kif 152-152 The insertion point of inferior oblique muscle is LaterallyOntoEyeballDeepToLateralRectusByAShortFlatTendon
(muscleInsertion TemporoparietalisMuscle EpicranialAponeurosis) Muscles.kif 159-159 The insertion point of temporoparietalis muscle is EpicranialAponeurosis
(muscleInsertion AuricularisAnteriorMuscle FrontOfHelixOfEar) Muscles.kif 166-166 The insertion point of auricularis anterior muscle is FrontOfHelixOfEar
(muscleInsertion AuricularisSuperiorMuscle DorsocranialSurfaceOfAuricle) Muscles.kif 174-174 The insertion point of auricularis superior muscle is DorsocranialSurfaceOfAuricle
(muscleInsertion AuricularisPosteriorMuscle DorsalPartOfAuricle) Muscles.kif 182-182 The insertion point of auricularis posterior muscle is DorsalPartOfAuricle
(muscleInsertion StapediusMuscle NeckOfStapes) Muscles.kif 190-190 The insertion point of stapedius muscle is NeckOfStapes
(muscleInsertion TensorTympaniMuscle HandleOfMalleus) Muscles.kif 200-200 The insertion point of tensor tympani muscle is HandleOfMalleus
(muscleInsertion ProcerusMuscleMuscle SkinOfLowerPartOfForeheadBetweenEyebrows) Muscles.kif 210-210 The insertion point of procerus muscle is SkinOfLowerPartOfForeheadBetweenEyebrows
(muscleInsertion DepressorSeptiNasiMuscle NasalSeptumAndBackPartOfAlarPartOfNasalis) Muscles.kif 220-220 The insertion point of depressor septi nasi muscle is NasalSeptumAndBackPartOfAlarPartOfNasalis
(muscleInsertion LevatorLabiiSuperiorisAlaequeNasiMuscle NostrilAndUpperLip) Muscles.kif 228-228 The insertion point of levator labii superioris alaeque nasi muscle is NostrilAndUpperLip
(muscleInsertion LevatorLabiiSuperiorisMuscle SkinAndMuscleOfUpperLipLabiiSuperioris) Muscles.kif 269-269 The insertion point of levator labii superioris muscle is SkinAndMuscleOfUpperLipLabiiSuperioris
(muscleInsertion DepressorLabiiInferiorisMuscle IntegumentOfLowerLipOrbicularisOrisFibersItsFellowOfOppositeSide) Muscles.kif 278-278 The insertion point of depressor labii inferioris muscle is IntegumentOfLowerLipOrbicularisOrisFibersItsFellowOfOppositeSide
(muscleInsertion MentalisMuscle SkinOfChin) Muscles.kif 288-288 The insertion point of mentalis muscle is SkinOfChin

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners