|
|
   LeftIMetacarpal
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 836-836 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 834-834 | Left I metacarpal is a subclass of palm bone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 835-835 |
|
|
|