Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Uploading
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Uploading EnglishLanguage "This verb refers to what happens when data is sent, either as a ComputerFile or a ComputerProgram, from a Computer to some external device. This device is most likely another Computer or a Server, though it can be any DigitalDataStorageDevice as well. This is the opposite of Downloading.") | Facebook.kif 476-481 | |
| (subclass Uploading Transfer) | Facebook.kif 483-483 | Uploading is a subclass of transfer |
| (subclass Uploading ITProcess) | Facebook.kif 484-484 | Uploading is a subclass of IT process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Uploading "uploading") | Facebook.kif 485-485 |
| antecedent |
|
|
| (=> (instance ?UPLOAD Uploading) (exists (?FILE ?COMPUTER ?STORAGEDEVICE) (and (instance ?UPLOAD Transfer) (or (instance ?FILE ComputerFile) (instance ?FILE ComputerProgram)) (instance ?COMPUTER Computer) (instance ?STORAGEDEVICE DigitalDataStorageDevice) (patient ?UPLOAD ?FILE) (agent ?UPLOAD ?COMPUTER) (origin ?UPLOAD ?COMPUTER) (destination ?UPLOAD ?STORAGEDEVICE)))) |
Facebook.kif 487-500 | If X is an instance of uploading, 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 Z (9) X ends up at W |
|