| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17751-17751 | 子類 ShapeAttribute and StructureAttribute |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | 子類 分子結構屬性 and ShapeAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12531-12531 | 子類 指紋 and ShapeAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17802-17802 | 子類 幾何圖 and ShapeAttribute |
|
|