No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1037-1037 |
FEMUR is a subclass of leg bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1084-1084 |
Fibula is a subclass of leg bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1053-1053 |
PATELLA is a subclass of leg bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1067-1067 |
Tibia is a subclass of leg bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1033-1033 |
|