(=>
(instance ?KEYBOARD ComputerTouchscreenKeyboard)
(exists (?SCREEN)
(and
(instance ?SCREEN ComputerTouchscreen)
(displayedUpon ?KEYBOARD ?SCREEN)))) |
ComputerInput.kif 473-478 |
If X is an instance of computer touchscreen keyboard, then there exists Y such that Y is an instance of computer touchscreen and X is displayed on Y |
(=>
(instance ?S Screenshot)
(exists (?T ?I ?CD)
(and
(holdsDuring ?T
(displayedUpon ?I ?CD))
(represents ?I ?S)))) |
ComputerInput.kif 1623-1629 |
If X is an instance of screenshot, then there exist Y, Z, W such that Z is displayed on W holds during Y, and Z expresses X |
(=>
(and
(holdsDuring ?T
(attribute ?X Booting))
(holdsDuring ?T2
(attribute ?X HostReady))
(equal ?T2
(ImmediateFutureFn
(WhenFn ?T)))
(instance ?DIS ComputerDisplay)
(connectedEngineeringComponents ?DIS ?X))
(modalAttribute
(exists (?HS)
(and
(instance ?HS HomeScreen)
(displayedUpon ?HS ?DIS))) Likely)) |
ComputingBrands.kif 3138-3152 |
If booting up is an attribute of X holds during Y, host ready is an attribute of X holds during Z, equal Z and immediately after the time of existence of Y, W is an instance of computer display, and W is connected to X, then the statement there exists V such that V is an instance of home screen and V is displayed on W has the modal force of likely |
