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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArytenoidTransverseAndObliqueMuscle

Sigma KEE - ArytenoidTransverseAndObliqueMuscle
ArytenoidTransverseAndObliqueMuscle(arytenoid (transverse and oblique) muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 547-547
No TPTP formula. May not be expressible in strict first order. Muscles.kif 542-542 The insertion point of arytenoid (transverse and oblique) muscle is ArytenoidCartilageOnOppositeSide
No TPTP formula. May not be expressible in strict first order. Muscles.kif 541-541 The origin of arytenoid (transverse and oblique) muscle is ArytenoidCartilageOnOneSide
No TPTP formula. May not be expressible in strict first order. Muscles.kif 539-539 Arytenoid (transverse and oblique) muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 544-544 ennervates recurrent laryngeal nerve from vagus nerve [CNX] and arytenoid (transverse and oblique) muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 543-543 suppliesBlood SuperiorLaryngealBranchOfSuperiorThyroidArtery and arytenoid (transverse and oblique) muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 540-540


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