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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NervousSystem
NervousSystem(nervous system)
parasympathetic

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11447-11448
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6725-6725
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7420-7420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11446-11446 Nervous system is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11445-11445 Nervous system is a subclass of organ

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40179-40179
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40178-40178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40177-40177

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11450-11455

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2251-2256
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10956-10961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10757-10762

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2978-2978 Neuro-inflammation is a subclass of inflammation of nervous system


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