No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1190-1190 | Lateral cuniform bone is a subclass of CuneiformBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1194-1194 | Left lateral cuneiform bone is a subclass of lateral cuniform bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1200-1200 | Right lateral cuneiform bone is a subclass of lateral cuniform bone |