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 是 Femur 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1047-1047 |
RightFemur 是 Femur 的 subclass |
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 |
|