| WristBone | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 743-743 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | %每个 WristBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 741-741 | WristBone 是 ArmBone 的 subclass |
| appearance as argument number 2 |
|
|
| 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 |
| 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 751-751 | NavicularBone 是 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 746-746 | ScaphoidBone 是 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 761-761 | TriquetralBone 是 WristBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 742-742 |
|
|
|