| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3089-3089 | PaintedPicture est une sous-classe de objet d'art |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3101-3101 | WatercolorPicture est une sous-classe de PaintedPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3140-3140 | Portrait est une sous-classe de PaintedPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3219-3219 | OilPicture est une sous-classe de PaintedPicture |
|
|