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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UlnarArtery
UlnarArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1143-1143 connectedBodyPartTypes UlnarArtery, BrachialArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1141-1141
No TPTP formula. May not be expressible in strict first order. arteries.kif 1139-1139 子類 UlnarArtery and 動脈
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1612-1612 suppliesBlood UlnarArtery and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1484-1484 suppliesBlood UlnarArtery and ExtensorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1413-1413 suppliesBlood UlnarArtery and FlexorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1622-1622 suppliesBlood UlnarArtery and FlexorDigitiMinimiBrevisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1424-1424 suppliesBlood UlnarArtery and FlexorDigitorumSuperficialisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1631-1631 suppliesBlood UlnarArtery and OpponensDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1404-1404 suppliesBlood UlnarArtery and PalmarisLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1383-1383 suppliesBlood UlnarArtery and PronatorTeresMuscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1169-1169 connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1148-1148 connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1155-1155 connectedBodyPartTypes CommonInterosseousArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1214-1214 connectedBodyPartTypes DeepVolarArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1209-1209 connectedBodyPartTypes DorsalCarpalArchArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1204-1204 connectedBodyPartTypes DorsalCarpalArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1189-1189 connectedBodyPartTypes MuscularUlnarArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1199-1199 connectedBodyPartTypes PalmarCarpalArchArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1160-1160 connectedBodyPartTypes PosteriorInterosseousArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1150-1150 connectedBodyPartTypes PosteriorUlnarRecurrentArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1219-1219 connectedBodyPartTypes SuperficialVolarArchArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1194-1194 connectedBodyPartTypes VolarCarpalArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1140-1140


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