Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DigitalDataStorageDevice(digital data storage device) |  | memory_device, storage_device |
| appearance as argument number 1 |
|
|
| (subclass DigitalDataStorageDevice ElectronicDataStorageDevice) | Media.kif 696-696 | 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 697-701 | Digital data storage device is a subclass of electronic data storage device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST ?NUM) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber))))) |
Media.kif 799-810 | If X is an instance of digital data storage device, Y is a part of X, and Y is an instance of digital data, then there exist Z, W, V such that Y in Z denotes V, W expresses Z, and V is a member of WV is an instance of binary number |
| 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 1979-1984 | 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 |
|