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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GonadalArtery

 Sigma KEE - GonadalArtery
GonadalArtery(gonadal artery)

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


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 1485-1485
No TPTP formula. May not be expressible in strict first order. arteries.kif 1488-1488
No TPTP formula. May not be expressible in strict first order. arteries.kif 1483-1483 Gonadal artery is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1494-1494 Ovarian artery is a subclass of gonadal artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1489-1489 Testicular artery is a subclass of gonadal artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1484-1484


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