Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  realization

 Sigma KEE - Image
Image(image)

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


(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 28775-28775 Image is a subclass of visual content bearing object
(documentation Image EnglishLanguage "Instances of Image are VisualContentBearingObjects that convey their meaning primarily in non-textual form.") Mid-level-ontology.kif 28776-28778 Image is a subclass of visual content bearing object

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


(subclass Photograph Image) Mid-level-ontology.kif 14859-14859 Photograph is a subclass of image
(termFormat EnglishLanguage Image "image") Mid-level-ontology.kif 28779-28779 Photograph is a subclass of image
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 464-464 Computer touchscreen keyboard is a subclass of image
(subclass GUIElement Image) ComputerInput.kif 880-880 GUI element is a subclass of image
(subclass ComputerDesktopImage Image) ComputingBrands.kif 3061-3061 Computer desktop image is a subclass of image
(subclass TextualImage Image) Media.kif 875-875 Textual image is a subclass of image
(subclass Logo Image) Media.kif 881-881 Logo is a subclass of image

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


(domain displayedUpon 1 Image) ComputerInput.kif 149-149 The number 1 argument of displayed upon is an instance of image
(domain albumCoverImage 2 Image) Music.kif 310-310 The number 2 argument of album cover is an instance of image

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 28786-28800 If X is an instance of multimedia projector, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating light (3) X is an instrument for Y (4) W is a patient of Y (5) W is an instance of video recording or W is an instance of image (6) Y ends up at Z (7) Z is an instance of artifact (8) flat is an attribute of Z (9) X is not connected to Z
(=>
    (instance ?C CameraProgram)
    (hasPurpose ?C
        (exists (?I ?P)
            (and
                (instance ?I Image)
                (programRunning ?P ?C)
                (patient ?P ?I)))))		 ComputingBrands.kif 2341-2348 If X is an instance of camera, then X has the purpose there exist Y, Z such that Y is an instance of image, X is a program running of Z, and Y is a patient of Z


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners