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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalTelecommunicationUnion
  TransverseCervicalArtery

Sigma KEE - TransverseCervicalArtery
TransverseCervicalArtery(transverse cervical artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 931-931 connectedBodyPartTypes transverse cervical artery, inferior thyroid artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 929-929
No TPTP formula. May not be expressible in strict first order. arteries.kif 927-927 Transverse cervical artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1188-1188 suppliesBlood transverse cervical artery and trapezius muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 941-941 connectedBodyPartTypes transverse cervical deep branch dorsal scapular artery, transverse cervical artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 936-936 connectedBodyPartTypes transverse cervical superficial branch artery, transverse cervical artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 928-928


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