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