No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 202-202 | ThroatBone est une sous-classe de os |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 206-206 | HyoidBone est une sous-classe de ThroatBone |