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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlatysmaMuscle

Sigma KEE - PlatysmaMuscle
PlatysmaMuscle(platysma muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 343-343 Platysma muscle and masseter muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 354-354 Platysma muscle and temporalis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 580-580
No TPTP formula. May not be expressible in strict first order. Muscles.kif 575-575 The insertion point of platysma muscle is InferiorClavicleAndFasciaOfChest
No TPTP formula. May not be expressible in strict first order. Muscles.kif 574-574 The origin of platysma muscle is BaseOfMandible
No TPTP formula. May not be expressible in strict first order. Muscles.kif 572-572 Platysma muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 581-581 MasseterTemporalisMuscle and platysma muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 577-577 ennervates cervical branch of facial nerve [CNVII] and platysma muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 576-576 suppliesBlood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery and platysma muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 573-573


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