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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MasseterMuscle

Sigma KEE - MasseterMuscle
MasseterMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 342-342
No TPTP formula. May not be expressible in strict first order. Muscles.kif 337-337 muscleInsertion MasseterMuscle and AngleOfMandibleMassetericTuberosityOfMandible
No TPTP formula. May not be expressible in strict first order. Muscles.kif 336-336 muscleOrigin MasseterMuscle and AnteriorTwoThirdsOfInferiorMarginOfZygomaticArchAndMaxilla
No TPTP formula. May not be expressible in strict first order. Muscles.kif 334-334 MasseterMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 343-343 antagonistMuscles PlatysmaMuscle and MasseterMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 339-339 ennervates MassetericNerveFromMandibularNerveCNV3 and MasseterMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 338-338 suppliesBlood MassetericArtery and MasseterMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 335-335


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