Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ComputerTouchscreenKeyboard
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ComputerBackingUp DataTransfer) | ComputingBrands.kif 3396-3396 | Backup is a subclass of data transfer |
| (subclass ComputerBackingUp Copying) | ComputingBrands.kif 3397-3397 | Backup is a subclass of copying |
| (subclass ComputerBackingUp ComputerProcess) | ComputingBrands.kif 3398-3398 | Backup is a subclass of computer process |
| (documentation ComputerBackingUp EnglishLanguage "The Process of Copying DigitalData to prevent loss of that data resulting from some error or accident in the future.") | ComputingBrands.kif 3399-3400 | Backup is a subclass of computer process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ComputerBackingUp "backup") | ComputingBrands.kif 3401-3401 |
| antecedent |
|
|
| (=> (and (instance ?C ComputerBackingUp) (dataProcessed ?C ?DD) (instance ?DD DigitalData) (agent ?C ?A)) (desires ?A (exists (?T) (and (earlier (WhenFn ?C) ?T) (holdsDuring ?T (exists (?PROC) (and (instance ?PROC ComputerProcess) (capability ?PROC dataProcessed ?DD)))))))) |
ComputingBrands.kif 3403-3417 | If X is an instance of backup, Y is processed by X, Y is an instance of digital data, and Z is an agent of X, then Z desires there exists W such that the time of existence of X happens earlier than W, there exists V such that V is an instance of computer process, and Y is capable of doing V as a data processed holds during W |
|