No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3226-3226 |
OilPicture est une sous-classe de PaintedPicture |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3147-3147 |
Portrait est une sous-classe de PaintedPicture |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3108-3108 |
WatercolorPicture est une sous-classe de PaintedPicture |
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 |
|