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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FemoralNerve

Sigma KEE - FemoralNerve
FemoralNerve

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1814-1814 ennervates FemoralNerve and ArticularisGenusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1832-1832 ennervates FemoralNerve and QuadricepsFemorisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1841-1841 ennervates FemoralNerve and RectusFemorisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1824-1824 ennervates FemoralNerve and SartoriusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1859-1859 ennervates FemoralNerve and VastusIntermediusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1850-1850 ennervates FemoralNerve and VastusLateralisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1868-1868 ennervates FemoralNerve and VastusMedialisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1815-1815 子類 FemoralNerve and Nerve

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


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


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