No TPTP formula. May not be expressible in strict first order. | Merge.kif 15889-15889 | RepresentationalArtWork est une sous-classe de objet d'art |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15890-15890 | RepresentationalArtWork est une sous-classe de icone |
![]() |