| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17636-17636 | 子類 PerceptualAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13618-13618 | 子類 SoundAttribute and PerceptualAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17649-17649 | 子類 TasteAttribute and PerceptualAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17660-17660 | 子類 OlfactoryAttribute and PerceptualAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17664-17664 | 子類 VisualAttribute and PerceptualAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17784-17784 | 子類 紋理屬性 and PerceptualAttribute |
|
|