No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 704-704 | Ulna 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 710-710 | LeftUlna 是 Ulna 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 716-716 | RightUlna 是 Ulna 的 subclass |