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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PalatineUvulaMuscle

Sigma KEE - PalatineUvulaMuscle
PalatineUvulaMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 484-484
No TPTP formula. May not be expressible in strict first order. Muscles.kif 482-482 muscleInsertion PalatineUvulaMuscle and SoftTissueOfUvula
No TPTP formula. May not be expressible in strict first order. Muscles.kif 481-481 muscleOrigin PalatineUvulaMuscle and HardPalate
No TPTP formula. May not be expressible in strict first order. Muscles.kif 479-479 PalatineUvulaMuscle e' uma sub-classe de Musculo

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 483-483 ennervates PharyngealBranchOfVagusNerveCNX and PalatineUvulaMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 480-480


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