No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3175-3175 | Painting est une sous-classe de couvrir |
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. | Mid-level-ontology.kif 3234-3234 | ArtPainting est une sous-classe de Painting |