| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12653-12653 | Colorer est une sous-classe de changement de surface |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3183-3183 | Painting est une sous-classe de colorer |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5342-5342 | GramStaining est une sous-classe de colorer |
|
|