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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PalatopharyngeusMuscle

Sigma KEE - PalatopharyngeusMuscle
PalatopharyngeusMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 477-477
No TPTP formula. May not be expressible in strict first order. Muscles.kif 472-472 muscleInsertion PalatopharyngeusMuscle and UpperBorderOfThyroidCartilageBlendsWithConstrictorFibers
No TPTP formula. May not be expressible in strict first order. Muscles.kif 471-471 muscleOrigin PalatopharyngeusMuscle and PalatineAponeurosisAndHardPalate
No TPTP formula. May not be expressible in strict first order. Muscles.kif 469-469 PalatopharyngeusMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 474-474 ennervates PharyngealBranchOfVagusNerveCNX and PalatopharyngeusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 473-473 suppliesBlood FacialArtery and PalatopharyngeusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 470-470


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