Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1731-1733
(domainSubclass muscleInsertion 1 Muscle) Anatomy.kif 1736-1736 The number 1 argument of muscle insertion is a subclass of muscle
(domainSubclass muscleInsertion 2 BodyPart) Anatomy.kif 1737-1737 The number 2 argument of muscle insertion is a subclass of body part
(instance muscleInsertion BinaryPredicate) Anatomy.kif 1735-1735 muscle insertion is an instance of binary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage muscleInsertion "the insertion point of %1 is %2") Anatomy.kif 1738-1738
(termFormat EnglishLanguage muscleInsertion "muscle insertion") Anatomy.kif 1739-1739

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 1745-1756
(=>
    (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 1758-1780
(=>
    (muscleInsertion ?MC ?BPC)
    (connectedBodyPart ?MC ?BPC))
Anatomy.kif 1741-1743

appearance as argument number 0
-------------------------


(muscleInsertion AbductorDigitiMinimiMuscle BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide) Muscles.kif 1611-1611 The insertion point of abductor digiti minimi muscle is BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
(muscleInsertion AbductorDigitiMinimiMuscle PhalangesOfFifthToe) Muscles.kif 2147-2147 The insertion point of abductor digiti minimi muscle is PhalangesOfFifthToe
(muscleInsertion AbductorHallucisMuscle MedialSideOfBaseOfProximalPhalanxOfFirstDigit) Muscles.kif 2130-2130 The insertion point of abductor hallucis muscle is MedialSideOfBaseOfProximalPhalanxOfFirstDigit
(muscleInsertion AbductorPollicisBrevisMuscle RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors) Muscles.kif 1584-1584 The insertion point of abductor pollicis brevis muscle is RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
(muscleInsertion AbductorPollicisLongusMuscle FirstMetacarpal) Muscles.kif 1538-1538 The insertion point of abductor pollicis longus muscle is FirstMetacarpal
(muscleInsertion AbductorPollicisMuscle RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid) Muscles.kif 1593-1593 The insertion point of abductor pollicis brevis muscle is RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
(muscleInsertion AdductorBrevisMuscle LesserTrochanterAndLineaAsperaOfFemur) Muscles.kif 1941-1941 The insertion point of adductor brevis muscle is LesserTrochanterAndLineaAsperaOfFemur
(muscleInsertion AdductorHallucisMuscle PhalanxOfBigToe) Muscles.kif 2183-2183 The insertion point of adductor hallucis muscle is PhalanxOfBigToe
(muscleInsertion AdductorLongusMuscle MiddleThirdOfLineaAspera) Muscles.kif 1950-1950 The insertion point of adductor longus muscle is MiddleThirdOfLineaAspera
(muscleInsertion AdductorMagnusMuscle FemurAdductorTubercleOfFemur) Muscles.kif 1959-1959 The insertion point of adductor magnus muscle is FemurAdductorTubercleOfFemur
(muscleInsertion AdductorMusclesOfTheHipMuscle FemurTibia) Muscles.kif 1908-1908 The insertion point of adductor muscles of the &hip is FemurTibia
(muscleInsertion AnconeusMuscle LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna) Muscles.kif 1372-1372 The insertion point of anconeus muscle is LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
(muscleInsertion ArticularisGenusMuscle SuprapatellarBursa) Muscles.kif 1812-1812 The insertion point of articularis genus muscle is SuprapatellarBursa
(muscleInsertion ArytenoidTransverseAndObliqueMuscle ArytenoidCartilageOnOppositeSide) Muscles.kif 542-542 The insertion point of arytenoid (transverse and oblique) muscle is ArytenoidCartilageOnOppositeSide
(muscleInsertion AuricularisAnteriorMuscle FrontOfHelixOfEar) Muscles.kif 166-166 The insertion point of auricularis anterior muscle is FrontOfHelixOfEar
(muscleInsertion AuricularisPosteriorMuscle DorsalPartOfAuricle) Muscles.kif 182-182 The insertion point of auricularis posterior muscle is DorsalPartOfAuricle
(muscleInsertion AuricularisSuperiorMuscle DorsocranialSurfaceOfAuricle) Muscles.kif 174-174 The insertion point of auricularis superior muscle is DorsocranialSurfaceOfAuricle
(muscleInsertion BicepsBrachiiMuscle RadialTuberosity) Muscles.kif 1343-1343 The insertion point of coracobrachialis muscle is RadialTuberosity
(muscleInsertion BicepsFemorisMuscle HeadOfFibula) Muscles.kif 1875-1875 The insertion point of biceps femoris muscle is HeadOfFibula
(muscleInsertion BrachialisMuscle CoronoidProcessOfUlnaTuberosityOfUlna) Muscles.kif 1351-1351 The insertion point of brachialis muscle is CoronoidProcessOfUlnaTuberosityOfUlna
(muscleInsertion BrachioradialisMuscle RadialStyloidProcessDistalRadius) Muscles.kif 1492-1492 The insertion point of brachioradialis muscle is RadialStyloidProcessDistalRadius
(muscleInsertion BuccinatorMuscle FibresOfOrbicularisOris) Muscles.kif 296-296 The insertion point of buccinator muscle is FibresOfOrbicularisOris
(muscleInsertion ChondroglossusMuscle IntrinsicMuscularFibersOfTongue) Muscles.kif 396-396 The insertion point of chondroglossus muscle is IntrinsicMuscularFibersOfTongue
(muscleInsertion CoccygeusMuscle Coccyx) Muscles.kif 1090-1090 The insertion point of coccygeus muscle is coccyx
(muscleInsertion CoracobrachialisMuscle MedialSurfaceOfHumerus) Muscles.kif 1333-1333 The insertion point of coracobrachialis muscle is MedialSurfaceOfHumerus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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