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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ToeBone

Sigma KEE - ToeBone
ToeBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1281-1281
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1279-1279 子類 ToeBone and FootBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1284-1284 子類 ToeBone and Phalanx

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1286-1286 劃分 Phalanx, ToeBone and FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1383-1383 子類 LeftDistalFootPhalanxIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1393-1393 子類 LeftDistalFootPhalanxIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1403-1403 子類 LeftDistalFootPhalanxIIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1413-1413 子類 LeftDistalFootPhalanxIVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1423-1423 子類 LeftDistalFootPhalanxVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1342-1342 子類 LeftIntermediateFootPhalanxIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1352-1352 子類 LeftIntermediateFootPhalanxIIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1362-1362 子類 LeftIntermediateFootPhalanxIVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1372-1372 子類 LeftIntermediateFootPhalanxVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1290-1290 子類 LeftProximalFootPhalanxIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1300-1300 子類 LeftProximalFootPhalanxIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1310-1310 子類 LeftProximalFootPhalanxIIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1320-1320 子類 LeftProximalFootPhalanxIVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1330-1330 子類 LeftProximalFootPhalanxVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1388-1388 子類 RightDistalFootPhalanxIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1398-1398 子類 RightDistalFootPhalanxIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1408-1408 子類 RightDistalFootPhalanxIIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1418-1418 子類 RightDistalFootPhalanxIVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1428-1428 子類 RightDistalFootPhalanxVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1347-1347 子類 RightIntermediateFootPhalanxIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1357-1357 子類 RightIntermediateFootPhalanxIIIBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1367-1367 子類 RightIntermediateFootPhalanxIVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1377-1377 子類 RightIntermediateFootPhalanxVBone and ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1295-1295 子類 RightProximalFootPhalanxIBone and ToeBone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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