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