| DigitalDataStorageDevice(digital data storage device) | | memory_device, storage_device |
| appearance as argument number 1 |
|
|
| (subclass DigitalDataStorageDevice ElectronicDataStorageDevice) | Media.kif 702-702 | Digital data storage device is a subclass of electronic data storage device |
| (documentation DigitalDataStorageDevice EnglishLanguage "An instance of DigitalDataStorageDevice is an ElectronicDataStorageDevice intended to be used for storing data (information) in some digital (discrete bit) encoding scheme designed for interpretation by computers.") | Media.kif 703-707 | Digital data storage device is a subclass of electronic data storage device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (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 |
| (=> (instance ?DATA DigitalData) (exists (?DEVICE) (and (instance ?DEVICE DigitalDataStorageDevice) (located ?DATA ?DEVICE)))) |
QoSontology.kif 1986-1991 | If X is an instance of digital data, then there exists Y such that Y is an instance of digital data storage device and X is located at Y |
|
|
|