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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InferiorThyroidArtery
InferiorThyroidArtery

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


(connectedBodyPartTypes InferiorThyroidArtery ThyrocervicalTrunkArtery Human) arteries.kif 921-921
(documentation InferiorThyroidArtery EnglishLanguage "inferior thyroid artery") arteries.kif 919-919
(subclass InferiorThyroidArtery Artery) arteries.kif 917-917
(suppliesBlood InferiorThyroidArtery OmohyoidMuscle) Muscles.kif 665-665

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


(connectedBodyPartTypes SuprascapularArtery InferiorThyroidArtery Human) arteries.kif 926-926
(connectedBodyPartTypes TransverseCervicalArtery InferiorThyroidArtery Human) arteries.kif 931-931
(termFormat EnglishLanguage InferiorThyroidArtery "inferior thyroid artery") arteries.kif 918-918


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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