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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnteriorTibialArtery

Sigma KEE - AnteriorTibialArtery
AnteriorTibialArtery(anterior tibial artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1863-1863 connectedBodyPartTypes anterior tibial artery, popliteal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1861-1861
No TPTP formula. May not be expressible in strict first order. arteries.kif 1859-1859 Anterior tibial artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1991-1991 suppliesBlood anterior tibial artery and extensor digitorum longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1982-1982 suppliesBlood anterior tibial artery and extensor hallucis longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2000-2000 suppliesBlood anterior tibial artery and fibularis tertius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1971-1971 suppliesBlood anterior tibial artery and tibialis anterior muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1885-1885 connectedBodyPartTypes anterior lateral malleolar artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1880-1880 connectedBodyPartTypes anterior medial malleolar artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1873-1873 connectedBodyPartTypes anterior tibial recurrent artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1890-1890 connectedBodyPartTypes dorsalis pedis artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1875-1875 connectedBodyPartTypes muscular branch artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1868-1868 connectedBodyPartTypes post tibial recurrent artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1860-1860


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