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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrbicularisOrisMuscle

Sigma KEE - OrbicularisOrisMuscle
OrbicularisOrisMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 307-307
No TPTP formula. May not be expressible in strict first order. Muscles.kif 308-308
No TPTP formula. May not be expressible in strict first order. Muscles.kif 304-304 muscleInsertion OrbicularisOrisMuscle and SkinAroundLips
No TPTP formula. May not be expressible in strict first order. Muscles.kif 303-303 muscleOrigin OrbicularisOrisMuscle and MaxillaAndMandible
No TPTP formula. May not be expressible in strict first order. Muscles.kif 301-301 OrbicularisOrisMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 306-306 ennervates BuccalBranchOfFacialNerveCNVII and OrbicularisOrisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 305-305 suppliesBlood SuperiorLabialArteryInferiorLabialArtery and OrbicularisOrisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 302-302


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