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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ennervates

Sigma KEE - ennervates
ennervates

appearance as argument number 1
-------------------------


(documentation ennervates EnglishLanguage "A relation between a class of Nerve and a class of Muscle that is activated by that nerve, when both are instances in a particular organism.") Anatomy.kif 1918-1919
(domainSubclass ennervates 1 Nerve) Anatomy.kif 1920-1920
(domainSubclass ennervates 2 Muscle) Anatomy.kif 1921-1921
(instance ennervates BinaryPredicate) Anatomy.kif 1917-1917

antecedent
-------------------------


(=>
    (and
        (ennervates ?NC ?MC)
        (instance ?N ?NC)
        (instance ?M ?MC)
        (part ?N ?H)
        (part ?M ?H)
        (attribute ?H Healthy)
        (instance ?H Human))
    (hasPurpose ?N
        (exists (?NF ?C)
            (and
                (instance ?NF NerveFiring)
                (instrument ?NF ?N)
                (instance ?MC MuscleContraction)
                (instrument ?MV ?M)
                (causes ?NF ?MC)))))
Anatomy.kif 1923-1939

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


(ennervates ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve RectusCapitisPosteriorMinorMuscle) Muscles.kif 777-777
(ennervates AbducensNerveCNVI LateralRectusMuscle) Muscles.kif 134-134
(ennervates AccessoryNerve TrapeziusMuscle) Muscles.kif 1189-1189
(ennervates AnsaCervicalis OmohyoidMuscle) Muscles.kif 666-666
(ennervates AnsaCervicalis SternohyoidMuscle) Muscles.kif 638-638
(ennervates AnsaCervicalis SternothyroidMuscle) Muscles.kif 648-648
(ennervates AnteriorBranchOfObturatorNerve11 AdductorBrevisMuscle) Muscles.kif 1943-1943
(ennervates AnteriorBranchOfObturatorNerve11 AdductorLongusMuscle) Muscles.kif 1952-1952
(ennervates AnteriorBranchOfObturatorNerve11 GracilisMuscle) Muscles.kif 1921-1921
(ennervates AnteriorInterosseousNerve FlexorDigitorumProfundusMuscle) Muscles.kif 1445-1445
(ennervates AnteriorInterosseousNerve PronatorQuadratusMuscle) Muscles.kif 1434-1434
(ennervates AnteriorInterosseousNerveMedianNerveC8T1 FlexorPollicisLongusMuscle) Muscles.kif 1454-1454
(ennervates AxillaryNerve DeltoidMuscle) Muscles.kif 1273-1273
(ennervates AxillaryNerve TeresMinorMuscle) Muscles.kif 1315-1315
(ennervates BuccalBranchOfFacialNerveCNVII AlarPartDilatorNarisMuscle) Muscles.kif 246-246
(ennervates BuccalBranchOfFacialNerveCNVII BuccinatorMuscle) Muscles.kif 298-298
(ennervates BuccalBranchOfFacialNerveCNVII DepressorSeptiNasiMuscle) Muscles.kif 222-222
(ennervates BuccalBranchOfFacialNerveCNVII LevatorLabiiSuperiorisAlaequeNasiMuscle) Muscles.kif 230-230
(ennervates BuccalBranchOfFacialNerveCNVII LevatorLabiiSuperiorisMuscle) Muscles.kif 271-271
(ennervates BuccalBranchOfFacialNerveCNVII OrbicularisOrisMuscle) Muscles.kif 306-306
(ennervates BuccalBranchOfFacialNerveCNVII ProcerusMuscleMuscle) Muscles.kif 212-212
(ennervates BuccalBranchOfFacialNerveCNVII RisoriusMuscle) Muscles.kif 315-315
(ennervates BuccalBranchOfFacialNerveCNVII TransversePartCompressorNarisMuscle) Muscles.kif 238-238
(ennervates BuccalBranchOfFacialNerveCNVII ZygomaticMajorMuscle) Muscles.kif 323-323
(ennervates BuccalBranchOfFacialNerveCNVII ZygomaticMinorMuscle) Muscles.kif 331-331

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 is open source software produced by Articulate Software and its partners