Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DisplayArtifact

Sigma KEE - DisplayArtifact
DisplayArtifact(display artifact)
pegboard

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subclass Blackboard DisplayArtifact) Media.kif 1091-1091 Blackboard is a subclass of display artifact
(subclass Poster DisplayArtifact) Media.kif 1106-1106 Poster is a subclass of display artifact
(subclass Sign DisplayArtifact) Mid-level-ontology.kif 14757-14757 Sign is a subclass of display artifact
(subclass Whiteboard DisplayArtifact) Mid-level-ontology.kif 23606-23606 Whiteboard is a subclass of display artifact
(termFormat ChineseLanguage DisplayArtifact "显示神器") domainEnglishFormat.kif 19831-19831
(termFormat ChineseTraditionalLanguage DisplayArtifact "顯示神器") domainEnglishFormat.kif 19830-19830
(termFormat EnglishLanguage DisplayArtifact "display artifact") domainEnglishFormat.kif 19829-19829

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)))))
Mid-level-ontology.kif 3895-3905


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners