| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3096-3096 | Painted picture is a subclass of art work |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3108-3108 | Watercolor picture is a subclass of painted picture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3147-3147 | Portrait is a subclass of painted picture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3226-3226 | Oil picture is a subclass of painted picture |
|
|