No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 781-781 |
CapitateBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 786-786 |
HamateBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 756-756 |
LunateBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 751-751 |
NavicularBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 766-766 |
PisiformBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 746-746 |
ScaphoidBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 771-771 |
TrapeziumBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 776-776 |
TrapezoidBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 761-761 |
TriquetralBone e' uma sub-classe de WristBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 742-742 |
|