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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PharyngealInferiorMuscle

Sigma KEE - PharyngealInferiorMuscle
PharyngealInferiorMuscle

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 muscleInsertion PharyngealInferiorMuscle and PharyngealRaphe
No TPTP formula. May not be expressible in strict first order. Muscles.kif 505-505 muscleOrigin PharyngealInferiorMuscle and CricoidCartilageThyroidCartilage
No TPTP formula. May not be expressible in strict first order. Muscles.kif 503-503 PharyngealInferiorMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 508-508 ennervates ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX and PharyngealInferiorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 507-507 suppliesBlood PharyngealBranchesOfAscendingPharyngealArtery and PharyngealInferiorMuscle
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