No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1037-1037 |
Femur est une sous-classe de LegBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1084-1084 |
Fibula est une sous-classe de LegBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1053-1053 |
Patella est une sous-classe de LegBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1067-1067 |
Tibia est une sous-classe de LegBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1033-1033 |
|