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 The number 1 argument of ennervates is a subclass of nerve
(domainSubclass ennervates 2 Muscle) Anatomy.kif 1921-1921 The number 2 argument of ennervates is a subclass of muscle
(instance ennervates BinaryPredicate) Anatomy.kif 1917-1917 ennervates is an instance of binary predicate

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 a branch of dorsal primary division of suboccipital nerve and rectus capitis posterior minor muscle
(ennervates AbducensNerveCNVI LateralRectusMuscle) Muscles.kif 134-134 ennervates abducens nerve [CNVI] and lateral rectus muscle
(ennervates AccessoryNerve TrapeziusMuscle) Muscles.kif 1189-1189 ennervates accessory nerve and trapezius muscle
(ennervates AnsaCervicalis OmohyoidMuscle) Muscles.kif 666-666 ennervates ansa cervicalis and omohyoid muscle
(ennervates AnsaCervicalis SternohyoidMuscle) Muscles.kif 638-638 ennervates ansa cervicalis and sternohyoid muscle
(ennervates AnsaCervicalis SternothyroidMuscle) Muscles.kif 648-648 ennervates ansa cervicalis and sternothyroid muscle
(ennervates AnteriorBranchOfObturatorNerve11 AdductorBrevisMuscle) Muscles.kif 1943-1943 ennervates anterior branch of obturator nerve[11] and adductor brevis muscle
(ennervates AnteriorBranchOfObturatorNerve11 AdductorLongusMuscle) Muscles.kif 1952-1952 ennervates anterior branch of obturator nerve[11] and adductor longus muscle
(ennervates AnteriorBranchOfObturatorNerve11 GracilisMuscle) Muscles.kif 1921-1921 ennervates anterior branch of obturator nerve[11] and gracilis muscle
(ennervates AnteriorInterosseousNerve FlexorDigitorumProfundusMuscle) Muscles.kif 1445-1445 ennervates anterior interosseous nerve (median nerve) and flexor digitorum profundus muscle
(ennervates AnteriorInterosseousNerve PronatorQuadratusMuscle) Muscles.kif 1434-1434 ennervates anterior interosseous nerve (median nerve) and pronator quadratus muscle
(ennervates AnteriorInterosseousNerveMedianNerveC8T1 FlexorPollicisLongusMuscle) Muscles.kif 1454-1454 ennervates anterior interosseous nerve (median nerve) (C8, T1) and flexor pollicis longus muscle
(ennervates AxillaryNerve DeltoidMuscle) Muscles.kif 1273-1273 ennervates axillary nerve and deltoid muscle
(ennervates AxillaryNerve TeresMinorMuscle) Muscles.kif 1315-1315 ennervates axillary nerve and teres minor muscle
(ennervates BuccalBranchOfFacialNerveCNVII AlarPartDilatorNarisMuscle) Muscles.kif 246-246 ennervates buccal branch of facial nerve [CNVII] and alar part dilator naris muscle
(ennervates BuccalBranchOfFacialNerveCNVII BuccinatorMuscle) Muscles.kif 298-298 ennervates buccal branch of facial nerve [CNVII] and buccinator muscle
(ennervates BuccalBranchOfFacialNerveCNVII DepressorSeptiNasiMuscle) Muscles.kif 222-222 ennervates buccal branch of facial nerve [CNVII] and depressor septi nasi muscle
(ennervates BuccalBranchOfFacialNerveCNVII LevatorLabiiSuperiorisAlaequeNasiMuscle) Muscles.kif 230-230 ennervates buccal branch of facial nerve [CNVII] and levator labii superioris alaeque nasi muscle
(ennervates BuccalBranchOfFacialNerveCNVII LevatorLabiiSuperiorisMuscle) Muscles.kif 271-271 ennervates buccal branch of facial nerve [CNVII] and levator labii superioris muscle
(ennervates BuccalBranchOfFacialNerveCNVII OrbicularisOrisMuscle) Muscles.kif 306-306 ennervates buccal branch of facial nerve [CNVII] and orbicularis oris muscle
(ennervates BuccalBranchOfFacialNerveCNVII ProcerusMuscleMuscle) Muscles.kif 212-212 ennervates buccal branch of facial nerve [CNVII] and procerus muscle
(ennervates BuccalBranchOfFacialNerveCNVII RisoriusMuscle) Muscles.kif 315-315 ennervates buccal branch of facial nerve [CNVII] and risorius muscle
(ennervates BuccalBranchOfFacialNerveCNVII TransversePartCompressorNarisMuscle) Muscles.kif 238-238 ennervates buccal branch of facial nerve [CNVII] and transverse part compressor naris muscle
(ennervates BuccalBranchOfFacialNerveCNVII ZygomaticMajorMuscle) Muscles.kif 323-323 ennervates buccal branch of facial nerve [CNVII] and zygomatic major muscle
(ennervates BuccalBranchOfFacialNerveCNVII ZygomaticMinorMuscle) Muscles.kif 331-331 ennervates buccal branch of facial nerve [CNVII] and zygomatic minor muscle

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