TreeView Knowledge Base Browser - RadialArtery

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RadialArtery

RadialArtery

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1082-1082	connectedBodyPartTypes RadialArtery, BrachialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1080-1080
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1078-1078	RadialArtery 是动脉的 subclass
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1510-1510	suppliesBlood RadialArtery and ExtensorCarpiRadialisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1501-1501	suppliesBlood RadialArtery and ExtensorCarpiRadialisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1395-1395	suppliesBlood RadialArtery and FlexorCarpiRadialisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1384-1384	suppliesBlood RadialArtery and PronatorTeresMuscle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1137-1137	connectedBodyPartTypes DeepPalmarArchArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1112-1112	connectedBodyPartTypes DorsalCarpalBranchOfRadialArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1117-1117	connectedBodyPartTypes FirstDorsalMetacarpalArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1097-1097	connectedBodyPartTypes PalmarCarpalBranchOfRadialArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1127-1127	connectedBodyPartTypes PrincepsPollicisArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1122-1122	connectedBodyPartTypes RadialBranchArteryInTheHand, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1107-1107	connectedBodyPartTypes RadialBranchAtTheWristArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1087-1087	connectedBodyPartTypes RadialBranchesInTheForearm, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1092-1092	connectedBodyPartTypes RadialRecurrentArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1132-1132	connectedBodyPartTypes RadialisIndicisArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1102-1102	connectedBodyPartTypes SuperficialPalmarBranchOfTheRadialArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1079-1079

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