| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 181-181 | IncusBone 是 InnerEarBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 182-182 | LeftIncusBone 是 IncusBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 186-186 | RightIncusBone 是 IncusBone 的 subclass |
|
|