RepresentationalArtWork - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RepresentationalArtWork ArtWork)	Merge.kif 16184-16184	Representational art work is a subclass of art work
(subclass RepresentationalArtWork Icon)	Merge.kif 16185-16185	Representational art work is a subclass of icon
(documentation RepresentationalArtWork EnglishLanguage "Any ArtWork that represents something Physical.")	Merge.kif 16186-16187	Representational art work is a subclass of icon

appearance as argument number 2

(termFormat EnglishLanguage RepresentationalArtWork "representational art work")	domainEnglishFormat.kif 49515-49515
(termFormat ChineseTraditionalLanguage RepresentationalArtWork "代表性的藝術作品")	domainEnglishFormat.kif 49516-49516
(termFormat ChineseLanguage RepresentationalArtWork "代表性的艺术作品")	domainEnglishFormat.kif 49517-49517

antecedent

(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))

If X is an instance of representational art work, then there exists Y such that Y is an instance of physical and X expresses Y