| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 741-741 | WristBone 是 ArmBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 746-746 | ScaphoidBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 751-751 | NavicularBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 756-756 | LunateBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 761-761 | TriquetralBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 766-766 | PisiformBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 771-771 | TrapeziumBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 776-776 | TrapezoidBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 781-781 | CapitateBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 786-786 | HamateBone 是 WristBone 的 subclass |
|
|