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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArytenoidTransverseAndObliqueMuscle

Sigma KEE - ArytenoidTransverseAndObliqueMuscle
ArytenoidTransverseAndObliqueMuscle

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 muscleInsertion ArytenoidTransverseAndObliqueMuscle and ArytenoidCartilageOnOppositeSide
No TPTP formula. May not be expressible in strict first order. Muscles.kif 541-541 muscleOrigin ArytenoidTransverseAndObliqueMuscle and ArytenoidCartilageOnOneSide
No TPTP formula. May not be expressible in strict first order. Muscles.kif 539-539 ArytenoidTransverseAndObliqueMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 544-544 ennervates RecurrentLaryngealNerveFromVagusNerveCNX and ArytenoidTransverseAndObliqueMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 543-543 suppliesBlood SuperiorLaryngealBranchOfSuperiorThyroidArtery and ArytenoidTransverseAndObliqueMuscle
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