| WristBone(wrist bone) | | carpal, carpal_bone, wrist_bone |
| 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 | Every wrist bone is initially part of a hand |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 741-741 | Wrist bone is a subclass of arm bone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 781-781 | CapitateBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 786-786 | HamateBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 756-756 | LunateBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 751-751 | Navicular bone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 766-766 | PisiformBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 746-746 | ScaphoidBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 771-771 | TrapeziumBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 776-776 | TrapezoidBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 761-761 | TriquetralBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 742-742 |
|
|
|