No TPTP formula. May not be expressible in strict first order. | Merge.kif 12677-12677 | Colorir e' uma sub-classe de Mudanca Superficial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3176-3176 | Painting e' uma sub-classe de Colorir |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5342-5342 | GramStaining e' uma sub-classe de Colorir |