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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VertebralArtery

 Sigma KEE - VertebralArtery
VertebralArtery(vertebral artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 764-764
No TPTP formula. May not be expressible in strict first order. arteries.kif 766-766
No TPTP formula. May not be expressible in strict first order. arteries.kif 762-762 Vertebral artery is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 795-795 connectedBodyPartTypes anterior spinal artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 815-815 connectedBodyPartTypes basilar artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 767-767 connectedBodyPartTypes left subclavian artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 772-772 connectedBodyPartTypes meningeal branch of vertebral artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 800-800 connectedBodyPartTypes posterior inferior cerebellar artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 777-777 connectedBodyPartTypes posterior spinal artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 763-763


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