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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubclaviusMuscle

 Sigma KEE - SubclaviusMuscle
SubclaviusMuscle(subclavius muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1256-1256
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1251-1251 The insertion point of subclavius muscle is SubclavianGrooveOfClavicle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1250-1250 The origin of subclavius muscle is FirstRib
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1248-1248 Subclavius muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1263-1263 ennervates long thoracic nerve and subclavius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1253-1253 ennervates subclavian nerve and subclavius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1252-1252 suppliesBlood ThoracoacromialArteryClavicularBranch and subclavius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1249-1249


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