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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Screenshot
Screenshot(screenshot)

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


(documentation Screenshot EnglishLanguage "An Image that captures the visual content of a ComputerDisplay at some point in time. This includes MobileCellPhones.") ComputerInput.kif 1602-1604
(subclass Screenshot ImageFile) ComputerInput.kif 1601-1601 Screenshot is a subclass of image file

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


(termFormat EnglishLanguage Screenshot "screenshot") ComputerInput.kif 1605-1605

antecedent
-------------------------


(=>
    (instance ?S Screenshot)
    (exists (?T ?I ?CD)
        (and
            (holdsDuring ?T
                (displayedUpon ?I ?CD))
            (represents ?I ?S))))
ComputerInput.kif 1607-1613


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners