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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX

Sigma KEE - ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX
ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX(external laryngeal branch of superior laryngeal nerve and recurrent laryngeal nerve from vagus nerve [CNX])

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 508-508 ennervates external laryngeal branch of superior laryngeal nerve and recurrent laryngeal nerve from vagus nerve [CNX] and pharyngeal inferior muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 509-509 External laryngeal branch of superior laryngeal nerve and recurrent laryngeal nerve from vagus nerve [CNX] is a subclass of nerve

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 510-510


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