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 Le nombre 1 argument de ennervates est une sous-classe de Nerve
(domainSubclass ennervates 2 Muscle) Anatomy.kif 1921-1921 Le nombre 2 argument de ennervates est une sous-classe de muscle
(instance ennervates BinaryPredicate) Anatomy.kif 1917-1917 ennervates est une instance de pr�dicat binaire

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

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