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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FibularArtery

Sigma KEE - FibularArtery
FibularArtery(fibular artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1900-1900 connectedBodyPartTypes fibular artery, posterior tibial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1898-1898
No TPTP formula. May not be expressible in strict first order. arteries.kif 1896-1896 Fibular artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2096-2096 suppliesBlood fibular artery and fibularis brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2085-2085 suppliesBlood fibular artery and fibularis longus muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1905-1905 connectedBodyPartTypes communicating branch to the anterior tibial artery, fibular artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1910-1910 connectedBodyPartTypes perforating branch to the posterior tibial artery, fibular artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1897-1897


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