ennervates - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1957-1958
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1959-1959	The number 1 argument of ennervates is a subclass of nerve
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1960-1960	The number 2 argument of ennervates is a subclass of muscle
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1954-1954	ennervates is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Anatomy.kif 1955-1955

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 777-777	ennervates a branch of dorsal primary division of suboccipital nerve and rectus capitis posterior minor muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 134-134	ennervates abducens nerve [CNVI] and lateral rectus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1189-1189	ennervates accessory nerve and trapezius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 666-666	ennervates ansa cervicalis and omohyoid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 638-638	ennervates ansa cervicalis and sternohyoid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 648-648	ennervates ansa cervicalis and sternothyroid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1943-1943	ennervates anterior branch of obturator nerve[11] and adductor brevis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1952-1952	ennervates anterior branch of obturator nerve[11] and adductor longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1921-1921	ennervates anterior branch of obturator nerve[11] and gracilis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1445-1445	ennervates anterior interosseous nerve (median nerve) and flexor digitorum profundus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1434-1434	ennervates anterior interosseous nerve (median nerve) and pronator quadratus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1454-1454	ennervates anterior interosseous nerve (median nerve) (C8, T1) and flexor pollicis longus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1273-1273	ennervates axillary nerve and deltoid muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1315-1315	ennervates axillary nerve and teres minor muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 246-246	ennervates buccal branch of facial nerve [CNVII] and alar part dilator naris muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 298-298	ennervates buccal branch of facial nerve [CNVII] and buccinator muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 222-222	ennervates buccal branch of facial nerve [CNVII] and depressor septi nasi muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 230-230	ennervates buccal branch of facial nerve [CNVII] and levator labii superioris alaeque nasi muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 271-271	ennervates buccal branch of facial nerve [CNVII] and levator labii superioris muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 306-306	ennervates buccal branch of facial nerve [CNVII] and orbicularis oris muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 212-212	ennervates buccal branch of facial nerve [CNVII] and procerus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 315-315	ennervates buccal branch of facial nerve [CNVII] and risorius muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 238-238	ennervates buccal branch of facial nerve [CNVII] and transverse part compressor naris muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 323-323	ennervates buccal branch of facial nerve [CNVII] and zygomatic major muscle
No TPTP formula. May not be expressible in strict first order.	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: