| PalmBone(palm bone) | | metacarpal, metacarpal_bone |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 831-831 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | Every palm bone is initially part of a hand |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 829-829 | Palm 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 850-850 | Left III metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 842-842 | Left II metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 834-834 | Left I metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 858-858 | Left IV metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 866-866 | Left V metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 854-854 | Right III metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 846-846 | Right II metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 838-838 | Right I metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 862-862 | Right IV metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 870-870 | Right V metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 830-830 |
|
|
|