add Screenshot

ontologyportal · Sep 24, 2021 · 5381adf · 5381adf
1 parent cd67767
commit 5381adf
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/ComputerInput.kif b/ComputerInput.kif
@@ -1627,6 +1627,20 @@ a &%ComputerTouchscreen.")
     (instance ?TOUCHSCREEN ComputerTouchscreen))
   (instance ?ACT ScreenTouchAction))
 
+(subclass Screenshot ImageFile)
+(documentation Screenshot EnglishLanguage "An &%Image that captures
+the visual content of a &%ComputerDisplay at some point in time.  This
+includes &%MobileCellPhones.")
+(termFormat EnglishLanguage Screenshot "screenshot")
+
+(=>
+  (instance ?S ScreenShot)
+  (exists (?T ?I ?CD)
+    (and
+      (holdsDuring ?T
+        (displayedUpon ?I ?CD))
+      (represents ?I ?S))))
+
 (subclass TouchPadAction TouchSurfaceAction)
 (documentation TouchPadAction EnglishLanguage "A &%ScreenTouchAction is a &%TouchSurfaceAction using
 a &%ComputerTouchpad.")