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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NervousSystem
NervousSystem(nervous system)
nervous_system, parasympathetic, 神經系統, 神经系统

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


(documentation NervousSystem EnglishLanguage "A system in Vertebrates that is made up of the Brain, the spinal cord, nerves, etc.") Mid-level-ontology.kif 9688-9689
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Nervous_system_diagram.png") pictureList.kif 6726-6726 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Nervous_system_diagram.png" is a URL depicting nervous system
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Neuro_logo.png") pictureList.kif 7422-7422 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Neuro_logo.png" is a URL depicting nervous system
(subclass NervousSystem AnimalAnatomicalStructure) Mid-level-ontology.kif 9687-9687 Nervous system is a subclass of animal anatomical structure
(subclass NervousSystem Organ) Mid-level-ontology.kif 9686-9686 Nervous system is a subclass of organ

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


(termFormat ChineseLanguage NervousSystem "神经系统") domainEnglishFormat.kif 40099-40099 "神经系统" is the printable form of nervous system in ChineseLanguage
(termFormat ChineseTraditionalLanguage NervousSystem "神經系統") domainEnglishFormat.kif 40098-40098 "神經系統" is the printable form of nervous system in ChineseTraditionalLanguage
(termFormat EnglishLanguage NervousSystem "nervous system") domainEnglishFormat.kif 40097-40097 "nervous system" is the printable form of nervous system in english language

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


(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 9691-9696

consequent
-------------------------


(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?C ?S))))
Mid-level-ontology.kif 9403-9408
(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 9264-9269


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners