No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3219-3219 |
OilPicture 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 3101-3101 |
WatercolorPicture est une sous-classe de PaintedPicture |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44030-44030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44029-44029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44028-44028 |
|