ennervates - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat EnglishLanguage ennervates "ennervates")

Anatomy.kif 1955-1955

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 1962-1978

If ennervates a kind of nerve and a kind of muscle and an object is an instance of a kind of nerve and another object is an instance of a kind of muscle and the object is a part of a third object and the other object is a part of the third object and healthy is an attribute of the third object and the third object is an instance of human,
then the object has the purpose there exist the objectF and another entity such that the objectF is an instance of nerve firing and the object is an instrument for the objectF and the kind of muscle is an instance of MuscleContraction and the other object is an instrument for the other objectV and the objectF causes the kind of muscle

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 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

KB Term:			Term intersection

English Word: