| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14913-14913 | 解剖结构 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | 异常的解剖结构 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14949-14949 | 身体部位 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14996-14996 | 动物解剖结构 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15007-15007 | 植物解剖结构 是 解剖结构 的 subclass |
|
|