No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 2094-2094 |
muscleOrigin FibularisBrevisMuscle and Fibula |
No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 2083-2083 |
muscleOrigin FibularisLongusMuscle and Fibula |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1088-1088 |
LeftFibula e' uma sub-classe de Fibula |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1092-1092 |
RightFibula e' uma sub-classe de Fibula |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1085-1085 |
|