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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NervousSystem

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 10950-10951
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6726-6726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7421-7421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10949-10949 Nervous system is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10948-10948 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 40164-40164
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40163-40163
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40162-40162

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10463-10468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10265-10270


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 is open source software produced by Articulate Software and its partners