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