Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Downloading(downloading) |  | download |
| appearance as argument number 1 |
|
|
| (documentation Downloading EnglishLanguage "This verb refers to what happens when a Computer or Server makes a copy of a certain set of data (usually saved as a ComputerFile or ComputerProgram), and sends it to a peripheral DigitalDataDevice or another Computer. This verb is the opposite of Uploading.") | Facebook.kif 502-506 | |
| (subclass Downloading Transfer) | Facebook.kif 509-509 | Downloading is a subclass of transfer |
| (subclass Downloading ITProcess) | Facebook.kif 510-510 | Downloading is a subclass of IT process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Downloading "downloading") | Facebook.kif 511-511 |
| antecedent |
|
|
| (=> (instance ?DOWNLOAD Downloading) (exists (?FILE ?COMPUTER ?STORAGEDEVICE) (and (instance ?DOWNLOAD Transfer) (or (instance ?FILE ComputerFile) (instance ?FILE ComputerProgram)) (instance ?COMPUTER Computer) (instance ?STORAGEDEVICE DigitalDataStorageDevice) (patient ?DOWNLOAD ?FILE) (agent ?DOWNLOAD ?COMPUTER) (origin ?DOWNLOAD ?STORAGEDEVICE) (destination ?DOWNLOAD ?COMPUTER)))) |
Facebook.kif 513-526 | If X is an instance of downloading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at W (9) X ends up at Z |
|