No TPTP formula. May not be expressible in strict first order. | Merge.kif 15913-15913 | RepresentationalArtWork est une sous-classe de objet d'art |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15914-15914 | RepresentationalArtWork est une sous-classe de icone |