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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HypoglossalNerveCNXII

Sigma KEE - HypoglossalNerveCNXII
HypoglossalNerveCNXII(hypoglossal nerve [CNXII])

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 397-397 ennervates hypoglossal nerve [CNXII] and chondroglossus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 380-380 ennervates hypoglossal nerve [CNXII] and hyoglossus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 390-390 ennervates hypoglossal nerve [CNXII] and hyoglossus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 438-438 ennervates hypoglossal nerve [CNXII] and inferior longitudinal muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 405-405 ennervates hypoglossal nerve [CNXII] and styloglossus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 422-422 ennervates hypoglossal nerve [CNXII] and superior longitudinal muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 430-430 ennervates hypoglossal nerve [CNXII] and transversus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 446-446 ennervates hypoglossal nerve [CNXII] and verticalis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 381-381 Hypoglossal nerve [CNXII] is a subclass of nerve

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


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


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