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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransversePartCompressorNarisMuscle

Sigma KEE - TransversePartCompressorNarisMuscle
TransversePartCompressorNarisMuscle(transverse part compressor naris muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 239-239
No TPTP formula. May not be expressible in strict first order. Muscles.kif 235-235 The origin of transverse part compressor naris muscle is AlveolarYokeOfCanineTooth
No TPTP formula. May not be expressible in strict first order. Muscles.kif 236-236 The origin of transverse part compressor naris muscle is LateralNasalCartilage
No TPTP formula. May not be expressible in strict first order. Muscles.kif 233-233 Transverse part compressor naris muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 238-238 ennervates buccal branch of facial nerve [CNVII] and transverse part compressor naris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 237-237 suppliesBlood superior labial artery and transverse part compressor naris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 234-234


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