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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Image

Sigma KEE - Image
Image

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


(documentation Image EnglishLanguage "Instances of Image are VisualContentBearingObjects that convey their meaning primarily in non-textual form.") Mid-level-ontology.kif 23766-23768
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 23765-23765

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


(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 404-404
(subclass GUIElement Image) ComputerInput.kif 719-719
(subclass Logo Image) Media.kif 890-890
(subclass Photograph Image) Mid-level-ontology.kif 10885-10885
(subclass TextualImage Image) Media.kif 884-884

appearance as argument number 3
-------------------------


(domain albumCoverImage 2 Image) Music.kif 329-329
(domain displayedUpon 1 Image) ComputerInput.kif 201-201

consequent
-------------------------


(=>
    (instance ?X MultimediaProjector)
    (hasPurpose ?X
        (exists (?RS ?SCREEN ?VIDEO)
            (and
                (instance ?RS RadiatingLight)
                (instrument ?RS ?X)
                (patient ?RS ?VIDEO)
                (or
                    (instance ?VIDEO VideoRecording)
                    (instance ?VIDEO Image))
                (destination ?RS ?SCREEN)
                (instance ?SCREEN Artifact)
                (attribute ?SCREEN Flat)
                (not
                    (connected ?X ?SCREEN))))))
Mid-level-ontology.kif 23775-23789


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