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


KB Term:  Term intersection
English Word: 

  KutenaiLanguage

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


(muscleOrigin OccipitofrontalisMuscle TwoOccipitalBelliesAnd2FrontalBellies) Muscles.kif 20-20 The origin of occipitofrontalis is TwoOccipitalBelliesAnd2FrontalBellies
(muscleOrigin OccipitalisMuscle SuperiorNuchalLineOfOccipitalBoneMastoidPartOfTemporalBone) Muscles.kif 36-36 The origin of occipitalis muscle is SuperiorNuchalLineOfOccipitalBoneMastoidPartOfTemporalBone
(muscleOrigin FrontalisMuscle FrontalBone) Muscles.kif 46-46 The origin of frontalis muscle is frontal bone
(muscleOrigin OrbicularisOculiMuscle SkinOfEyebrowAndGlabella) Muscles.kif 56-56 The origin of orbicularis oculi muscle is SkinOfEyebrowAndGlabella
(muscleOrigin CorrugatorSuperciliiMuscle NasalPartOfFrontalBone) Muscles.kif 66-66 The origin of corrugator supercilii muscle is NasalPartOfFrontalBone
(muscleOrigin DepressorSuperciliiMuscle NasalPartOfFrontalBoneMedialRimOfOrbit) Muscles.kif 74-74 The origin of depressor supercilii muscle is NasalPartOfFrontalBoneMedialRimOfOrbit
(muscleOrigin LevatorPalpebraeSuperiorisMuscle SphenoidBone) Muscles.kif 81-81 The origin of levator palpebrae superioris muscle is sphenoid bone
(muscleOrigin SuperiorTarsalMuscle UndersideOfLevatorPalpebraeSuperioris) Muscles.kif 93-93 The origin of Muller's muscle is UndersideOfLevatorPalpebraeSuperioris
(muscleOrigin SuperiorRectusMuscle AnnulusOfZinnAtOrbitalApex) Muscles.kif 103-103 The origin of superior rectus muscle is AnnulusOfZinnAtOrbitalApex
(muscleOrigin InferiorRectusMuscle AnnulusOfZinnAtOrbitalApex) Muscles.kif 113-113 The origin of inferior rectus muscle is AnnulusOfZinnAtOrbitalApex
(muscleOrigin MedialRectusMuscle AnnulusOfZinnAtOrbitalApex) Muscles.kif 123-123 The origin of medial rectus muscle is AnnulusOfZinnAtOrbitalApex
(muscleOrigin LateralRectusMuscle AnnulusOfZinnAtOrbitalApex) Muscles.kif 131-131 The origin of lateral rectus muscle is AnnulusOfZinnAtOrbitalApex
(muscleOrigin SuperiorObliqueMuscle AnnulusOfZinnAtOrbitalApexMedialToOpticCanal) Muscles.kif 141-141 The origin of superior oblique muscle is AnnulusOfZinnAtOrbitalApexMedialToOpticCanal
(muscleOrigin InferiorObliqueMuscle OrbitalSurfaceOfMaxillaLateralToLacrimalGroove) Muscles.kif 151-151 The origin of inferior oblique muscle is OrbitalSurfaceOfMaxillaLateralToLacrimalGroove
(muscleOrigin TemporoparietalisMuscle AuricularesMuscles) Muscles.kif 158-158 The origin of temporoparietalis muscle is AuricularesMuscles
(muscleOrigin AuricularisAnteriorMuscle TemporalFascia) Muscles.kif 165-165 The origin of auricularis anterior muscle is TemporalFascia
(muscleOrigin AuricularisSuperiorMuscle EpicranialAponeurosis) Muscles.kif 173-173 The origin of auricularis superior muscle is EpicranialAponeurosis
(muscleOrigin AuricularisPosteriorMuscle MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid) Muscles.kif 181-181 The origin of auricularis posterior muscle is MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid
(muscleOrigin StapediusMuscle TipOfPyramidOfMiddleEar) Muscles.kif 189-189 The origin of stapedius muscle is TipOfPyramidOfMiddleEar
(muscleOrigin TensorTympaniMuscle EustachianTube) Muscles.kif 199-199 The origin of tensor tympani muscle is Eustachian tube
(muscleOrigin ProcerusMuscleMuscle FasciaOverLowerPartOfNasalBone) Muscles.kif 209-209 The origin of procerus muscle is FasciaOverLowerPartOfNasalBone
(muscleOrigin DepressorSeptiNasiMuscle IncisiveFossaOfMaxilla) Muscles.kif 219-219 The origin of depressor septi nasi muscle is IncisiveFossaOfMaxilla
(muscleOrigin LevatorLabiiSuperiorisAlaequeNasiMuscle FrontalProcessOfMaxilla) Muscles.kif 227-227 The origin of levator labii superioris alaeque nasi muscle is FrontalProcessOfMaxilla
(muscleOrigin TransversePartCompressorNarisMuscle AlveolarYokeOfCanineTooth) Muscles.kif 235-235 The origin of transverse part compressor naris muscle is AlveolarYokeOfCanineTooth
(muscleOrigin TransversePartCompressorNarisMuscle LateralNasalCartilage) Muscles.kif 236-236 The origin of transverse part compressor naris muscle is LateralNasalCartilage

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