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