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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LibyanDinar

Sigma KEE - PharyngealMiddleMuscle
PharyngealMiddleMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 519-519
No TPTP formula. May not be expressible in strict first order. Muscles.kif 516-516 muscleInsertion PharyngealMiddleMuscle and PharyngealRaphe
No TPTP formula. May not be expressible in strict first order. Muscles.kif 515-515 muscleOrigin PharyngealMiddleMuscle and HyoidBone
No TPTP formula. May not be expressible in strict first order. Muscles.kif 513-513 PharyngealMiddleMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 518-518 ennervates PharyngealPlexusOfVagusNerveCNX and PharyngealMiddleMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 517-517 suppliesBlood PharyngealBranchesOfAscendingPharyngealArtery and PharyngealMiddleMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 514-514


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