No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1811-1811 |
muscleOrigin ArticularisGenusMuscle and Femur |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1042-1042 |
LeftFemur est une sous-classe de Femur |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1047-1047 |
RightFemur est une sous-classe de Femur |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1041-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1038-1038 |
|