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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FacialNerveCNVII

Sigma KEE - FacialNerveCNVII
FacialNerveCNVII

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 168-168 ennervates FacialNerveCNVII and AuricularisAnteriorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 184-184 ennervates FacialNerveCNVII and AuricularisPosteriorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 176-176 ennervates FacialNerveCNVII and AuricularisSuperiorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 254-254 ennervates FacialNerveCNVII and LevatorAngulaOrisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 22-22 ennervates FacialNerveCNVII and OccipitofrontalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 611-611 ennervates FacialNerveCNVII and StylohyoidMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 160-160 ennervates FacialNerveCNVII and TemporoparietalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 23-23 FacialNerveCNVIINervesubclass

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


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


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