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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuperiorThyroidArtery

Sigma KEE - SuperiorThyroidArtery
SuperiorThyroidArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 418-418 connectedBodyPartTypes SuperiorThyroidArtery, CricothyroidArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 400-400 connectedBodyPartTypes SuperiorThyroidArtery, HyoidArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 406-406 connectedBodyPartTypes SuperiorThyroidArtery, SternocleidomastoidArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 412-412 connectedBodyPartTypes SuperiorThyroidArtery, SuperiorLaryngealArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 392-392
No TPTP formula. May not be expressible in strict first order. arteries.kif 390-390 子類 SuperiorThyroidArtery and 動脈
No TPTP formula. May not be expressible in strict first order. Muscles.kif 637-637 suppliesBlood SuperiorThyroidArtery and SternohyoidMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 647-647 suppliesBlood SuperiorThyroidArtery and SternothyroidMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 655-655 suppliesBlood SuperiorThyroidArtery and ThyrohyoidMuscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 394-394 connectedBodyPartTypes ExternalCarotidArtery, SuperiorThyroidArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 391-391


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