| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1032-1032 | LegBone 是 骨骼 的 subclass |
| 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 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 1084-1084 | Fibula 是 LegBone 的 subclass |
|
|