No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 704-704 | Ulna est une sous-classe de ArmBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 710-710 | LeftUlna est une sous-classe de Ulna |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 716-716 | RightUlna est une sous-classe de Ulna |