| 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 | 子類 AnatomicalStructure and OrganicObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | 子類 異常的解剖結構 and AnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14949-14949 | 子類 BodyPart and AnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14996-14996 | 子類 動物解剖結構 and AnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15007-15007 | 子類 植物解剖結構 and AnatomicalStructure |
|
|