No TPTP formula. May not be expressible in strict first order. | Merge.kif 12677-12677 | Colorer est une sous-classe de changement de surface |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3176-3176 | 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 |