| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12653-12653 | 子類 Coloring and SurfaceChange |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3183-3183 | 子類 繪畫 and Coloring |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5342-5342 | 子類 GramStaining and Coloring |
|
|