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



KB Term:  Term intersection
English Word: 

  Urine

Sigma KEE - Nerve
Nerve(nerve)

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


(documentation Nerve EnglishLanguage "A nerve is an enclosed, cable_like bundle of nerve fibers (called axons) in the peripheral nervous system. Axons transmit electrical impulses. Nerves have historically been considered the basic units of the peripheral nervous system. A nerve provides a common pathway for the electrochemical nerve impulses called action potentials that are transmitted along each of the axons to peripheral organs or, in the case of sensory nerves, from the periphery back to the central nervous system. Each axon, within the nerve, is an extension of an individual neuron, along with other supportive cells such as some Schwann cells that coat the axons in myelin. Within a nerve, each axon is surrounded by a layer of connective tissue called the endoneurium. The axons are bundled together into groups called fascicles, and each fascicle is wrapped in a layer of connective tissue called the perineurium. Finally, the entire nerve is wrapped in a layer of connective tissue called the epineurium. Nerve cells (often called neurons) are further classified as sensory, motor, or mixed nerves. In the central nervous system, the analogous structures are known as nerve tracts.[from Wikipedia]") Anatomy.kif 1908-1918
(subclass Nerve BodyPart) Anatomy.kif 1920-1920 Nerve is a subclass of body part

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Nerve "nerve") Anatomy.kif 1919-1919
(subclass FacialNerveCNVII Nerve) Muscles.kif 23-23 Facial nerve [CNVII] is a subclass of nerve
(subclass PosteriorAuricularNerveFacialNerveCNVII Nerve) Muscles.kif 40-40 Posterior auricular nerve (facial nerve [CNVII]) is a subclass of nerve
(subclass TemporalBranchOfFacialNerveCNVII Nerve) Muscles.kif 50-50 Temporal branch of facial nerve [CNVII] is a subclass of nerve
(subclass ZygomaticBranchOfFacialNerveCNVII Nerve) Muscles.kif 60-60 Zygomatic branch of facial nerve [CNVII] is a subclass of nerve
(subclass OculomotorNerveCNIII Nerve) Muscles.kif 85-85 Oculomotor nerve [CNIII] is a subclass of nerve
(subclass SuperiorBranchOfOculomotorNerveCNIII Nerve) Muscles.kif 107-107 Superior branch of oculomotor nerve [CNIII] is a subclass of nerve
(subclass InferiorBranchOfOculomotorNerveCNIII Nerve) Muscles.kif 117-117 Inferior branch of oculomotor nerve [CNIII] is a subclass of nerve
(subclass AbducensNerveCNVI Nerve) Muscles.kif 135-135 Abducens nerve [CNVI] is a subclass of nerve
(subclass TrochlearNerveCNIV Nerve) Muscles.kif 145-145 Trochlear nerve [CNIV] is a subclass of nerve
(subclass NerveToTheStapediusFromFacialNerveCNVII Nerve) Muscles.kif 193-193 Nerve to the stapedius from facial nerve [CNVII] is a subclass of nerve
(subclass MedialPterygoidNerveFromMandibularNerveCNV3 Nerve) Muscles.kif 203-203 Medial pterygoid nerve from mandibular nerve [CNV3] is a subclass of nerve
(subclass BuccalBranchOfFacialNerveCNVII Nerve) Muscles.kif 213-213 Buccal branch of facial nerve [CNVII] is a subclass of nerve
(subclass MandibularBranchOfFacialNerveCNVII Nerve) Muscles.kif 281-281 Mandibular branch of facial nerve [CNVII] is a subclass of nerve
(subclass MassetericNerveFromMandibularNerveCNV3 Nerve) Muscles.kif 340-340 Masseteric nerve from mandibular nerve [CNV3] is a subclass of nerve
(subclass DeepTemporalNervesFromMandibularNerveCNV3 Nerve) Muscles.kif 351-351 Deep temporal nerves from mandibular nerve [CNV3] is a subclass of nerve
(subclass ExternalPterygoidNerveFromMandibularNerveCNV3 Nerve) Muscles.kif 362-362 External pterygoid nerve from mandibular nerve [CNV3] is a subclass of nerve
(subclass HypoglossalNerveCNXII Nerve) Muscles.kif 381-381 Hypoglossal nerve [CNXII] is a subclass of nerve
(subclass VagusNerveCNXAccessoryNerveCNXI Nerve) Muscles.kif 414-414 Vagus nerve [CNX], accessory nerve [CNXI] is a subclass of nerve
(subclass PharyngealPlexusOfVagusNerveCNX Nerve) Muscles.kif 461-461 Pharyngeal plexus of vagus nerve [CNX] is a subclass of nerve
(subclass PharyngealBranchOfVagusNerveCNX Nerve) Muscles.kif 475-475 Pharyngeal branch of vagus nerve [CNX] is a subclass of nerve
(subclass GlossopharyngealNerveCNIX Nerve) Muscles.kif 492-492 Glossopharyngeal nerve [CNIX] is a subclass of nerve
(subclass ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX Nerve) Muscles.kif 509-509 External laryngeal branch of superior laryngeal nerve and recurrent laryngeal nerve from vagus nerve [CNX] is a subclass of nerve
(subclass ExternalLaryngealBranchOfSuperiorLaryngealNerveFromVagusNerveCNX Nerve) Muscles.kif 535-535 External laryngeal branch of superior laryngeal nerve from vagus nerve [CNX] is a subclass of nerve
(subclass RecurrentLaryngealNerveFromVagusNerveCNX Nerve) Muscles.kif 545-545 Recurrent laryngeal nerve from vagus nerve [CNX] is a subclass of nerve

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domainSubclass ennervates 1 Nerve) Anatomy.kif 1947-1947 The number 1 argument of ennervates is a subclass of nerve

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


(=>
    (instance ?N Nerve)
    (exists (?NC)
        (and
            (instance ?NC NerveCell)
            (part ?NC ?N))))
Anatomy.kif 1935-1940 If X is an instance of nerve, then there exists Y such that Y is an instance of nerve cell and Y is a part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners