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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PharyngealInferiorMuscle

Sigma KEE - PharyngealInferiorMuscle
PharyngealInferiorMuscle(pharyngeal inferior muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 511-511
No TPTP formula. May not be expressible in strict first order. Muscles.kif 506-506 The insertion point of pharyngeal inferior muscle is PharyngealRaphe
No TPTP formula. May not be expressible in strict first order. Muscles.kif 505-505 The origin of pharyngeal inferior muscle is CricoidCartilageThyroidCartilage
No TPTP formula. May not be expressible in strict first order. Muscles.kif 503-503 Pharyngeal inferior muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 508-508 ennervates external laryngeal branch of superior laryngeal nerve and recurrent laryngeal nerve from vagus nerve [CNX] and pharyngeal inferior muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 507-507 suppliesBlood PharyngealBranchesOfAscendingPharyngealArtery and pharyngeal inferior muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 504-504


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