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 |
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 3108-3108 |
Watercolor picture is a subclass of painted picture |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44028-44028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44027-44027 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44026-44026 |
|