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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalIliacArtery

 Sigma KEE - InternalIliacArtery
InternalIliacArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1556-1556 connectedBodyPartTypes InternalIliacArtery, CommonIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1554-1554
No TPTP formula. May not be expressible in strict first order. arteries.kif 1557-1557
No TPTP formula. May not be expressible in strict first order. arteries.kif 1552-1552 InternalIliacArtery 是 动脉 的 subclass

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1668-1668 connectedBodyPartTypes DeferentialArtery, InternalIliacArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1685-1685 connectedBodyPartTypes IliolumbarArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1653-1653 connectedBodyPartTypes InferiorGlutealArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1581-1581 connectedBodyPartTypes InferiorVesicalArtery, InternalIliacArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1591-1591 connectedBodyPartTypes InternalPudendalArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1700-1700 connectedBodyPartTypes LateralSacralArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1586-1586 connectedBodyPartTypes MiddleRectalArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1675-1675 connectedBodyPartTypes ObliteratedUmbilicalArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1566-1566 connectedBodyPartTypes ObturatorArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1715-1715 connectedBodyPartTypes SuperiorGlutealArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1571-1571 connectedBodyPartTypes SuperiorVesicalArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1663-1663 connectedBodyPartTypes UterineArtery, InternalIliacArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1576-1576 connectedBodyPartTypes VaginalArtery, InternalIliacArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1553-1553


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