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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FemoralArtery
FemoralArtery(femoral artery)arteria_femoralis, femoral_artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1748-1748 connectedBodyPartTypes femoral artery, external iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1746-1746
No TPTP formula. May not be expressible in strict first order. arteries.kif 1744-1744 Femoral artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1813-1813 suppliesBlood femoral artery and articularis genus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1831-1831 suppliesBlood femoral artery and quadriceps femoris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1840-1840 suppliesBlood femoral artery and rectus femoris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1823-1823 suppliesBlood femoral artery and sartorius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1858-1858 suppliesBlood femoral artery and vastus intermedius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1849-1849 suppliesBlood femoral artery and vastus lateralis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1867-1867 suppliesBlood femoral artery and vastus medialis muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1768-1768 connectedBodyPartTypes deep external pudendal artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1773-1773 connectedBodyPartTypes deep femoral artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1840-1840 connectedBodyPartTypes descending genicular artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1858-1858 connectedBodyPartTypes popliteal artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1758-1758 connectedBodyPartTypes superficial circumflex iliac artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1753-1753 connectedBodyPartTypes superficial epigastric artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1763-1763 connectedBodyPartTypes superficial external pudendal artery, femoral artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1745-1745


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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