No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3096-3096 | PaintedPicture e' uma sub-classe de Objeto de Arte |
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. | 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 3226-3226 | OilPicture e' uma sub-classe de PaintedPicture |
![]() |