No TPTP formula. May not be expressible in strict first order. | Merge.kif 12631-12631 | Coloring is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3183-3183 | Painting is a subclass of coloring |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5342-5342 | Gram stain is a subclass of coloring |