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 e' uma sub-classe de FootBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1284-1284 ToeBone e' uma sub-classe de Phalanx

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1286-1286 O conceito Phalanx e' completamente decomposto em ToeBone + FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1383-1383 LeftDistalFootPhalanxIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1393-1393 LeftDistalFootPhalanxIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1403-1403 LeftDistalFootPhalanxIIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1413-1413 LeftDistalFootPhalanxIVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1423-1423 LeftDistalFootPhalanxVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1342-1342 LeftIntermediateFootPhalanxIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1352-1352 LeftIntermediateFootPhalanxIIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1362-1362 LeftIntermediateFootPhalanxIVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1372-1372 LeftIntermediateFootPhalanxVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1290-1290 LeftProximalFootPhalanxIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1300-1300 LeftProximalFootPhalanxIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1310-1310 LeftProximalFootPhalanxIIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1320-1320 LeftProximalFootPhalanxIVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1330-1330 LeftProximalFootPhalanxVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1388-1388 RightDistalFootPhalanxIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1398-1398 RightDistalFootPhalanxIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1408-1408 RightDistalFootPhalanxIIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1418-1418 RightDistalFootPhalanxIVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1428-1428 RightDistalFootPhalanxVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1347-1347 RightIntermediateFootPhalanxIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1357-1357 RightIntermediateFootPhalanxIIIBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1367-1367 RightIntermediateFootPhalanxIVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1377-1377 RightIntermediateFootPhalanxVBone e' uma sub-classe de ToeBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1295-1295 RightProximalFootPhalanxIBone e' uma sub-classe de 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