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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbdominalAorta

 Sigma KEE - AbdominalAorta
AbdominalAorta(abdominal aorta)
abdominal_aorta

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1280-1280 connectedBodyPartTypes abdominal aorta, thoracic aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1275-1277
No TPTP formula. May not be expressible in strict first order. arteries.kif 1279-1279
No TPTP formula. May not be expressible in strict first order. arteries.kif 1273-1273 Every abdominal aorta is a part of a aorta
No TPTP formula. May not be expressible in strict first order. arteries.kif 1272-1272 Abdominal aorta is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1300-1300 connectedBodyPartTypes celiac artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1549-1549 connectedBodyPartTypes common iliac artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1487-1487 connectedBodyPartTypes gonadal artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1284-1284 connectedBodyPartTypes inferior phrenic artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1505-1505 connectedBodyPartTypes lumbar artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1431-1431 connectedBodyPartTypes middle suprarenal artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1498-1498 connectedBodyPartTypes ovarian artery, abdominal aorta and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1439-1439 connectedBodyPartTypes renal artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1397-1397 connectedBodyPartTypes superior mesenteric artery, abdominal aorta and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1493-1493 connectedBodyPartTypes testicular artery, abdominal aorta and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1274-1274


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