No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1037-1037 |
Femur 是 LegBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1084-1084 |
Fibula 是 LegBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1053-1053 |
Patella 是 LegBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1067-1067 |
Tibia 是 LegBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1033-1033 |
|