DisplayArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DisplayArtifact Artifact)	Mid-level-ontology.kif 3813-3813	Display artifact is a subclass of artifact
(documentation DisplayArtifact EnglishLanguage "Something for posting content so that it can be disseminated to the public.")	Mid-level-ontology.kif 3814-3815	Display artifact is a subclass of artifact
(externalImage DisplayArtifact "http://upload.wikimedia.org/wikipedia/commons/ f/ f9/ 2006_Pinboard.jpg")	pictureList.kif 1474-1474	Display artifact is a subclass of artifact

appearance as argument number 2

(subclass Sign DisplayArtifact)	Mid-level-ontology.kif 18687-18687	Sign is a subclass of display artifact
(subclass Whiteboard DisplayArtifact)	Mid-level-ontology.kif 28288-28288	Whiteboard is a subclass of display artifact
(subclass Blackboard DisplayArtifact)	Media.kif 1087-1087	Blackboard is a subclass of display artifact
(subclass Poster DisplayArtifact)	Media.kif 1102-1102	Poster is a subclass of display artifact
(termFormat EnglishLanguage DisplayArtifact "display artifact")	domainEnglishFormat.kif 19908-19908	Poster is a subclass of display artifact
(termFormat ChineseTraditionalLanguage DisplayArtifact "顯示神器")	domainEnglishFormat.kif 19909-19909	Poster is a subclass of display artifact
(termFormat ChineseLanguage DisplayArtifact "显示神器")	domainEnglishFormat.kif 19910-19910	Poster is a subclass of display artifact

antecedent

(=>
    (instance ?DA DisplayArtifact)
    (hasPurpose ?DA
        (exists (?P ?D ?I)
            (and
                (instance ?P Putting)
                (instance ?D Disseminating)
                (instance ?I ContentBearingObject)
                (patient ?P ?I)
                (patient ?D ?I)
                (destination ?P ?DA)))))

If X is an instance of display artifact, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of disseminating (4) W is an instance of content bearing object (5) W is a patient of Y (6) W is a patient of Z (7) Y ends up at X