No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1000-1000 | PelvicBone est une sous-classe de os |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1006-1006 | LeftOssaCoxae est une sous-classe de PelvicBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1011-1011 | RightOssaCoxae est une sous-classe de PelvicBone |
![]() |