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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MentalisMuscle

Sigma KEE - MentalisMuscle
MentalisMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 291-291
No TPTP formula. May not be expressible in strict first order. Muscles.kif 288-288 muscleInsertion MentalisMuscle and SkinOfChin
No TPTP formula. May not be expressible in strict first order. Muscles.kif 287-287 muscleOrigin MentalisMuscle and AlveolarYokeOfLowerLateralIncisorToothFoundOnAnteriorMandible
No TPTP formula. May not be expressible in strict first order. Muscles.kif 285-285 MentalisMuscle est une sous-classe de muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 290-290 ennervates MandibularBranchOfFacialNerveCNVII and MentalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 289-289 suppliesBlood InferiorLabialArtery and MentalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 286-286


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