Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DownloadingNonAudioVideoImageUserFile
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DownloadingNonAudioVideoImageUserFile DownloadingUserFile) | ComputerInput.kif 2771-2771 | Downloading non audio video image user file is a subclass of downloading user file |
| (documentation DownloadingNonAudioVideoImageUserFile EnglishLanguage "DownloadingNonAudioVideoImageUserFile is those instances of NetworkCommunication in which an ComputerFile that isn't an AudioFile, MultimediaFile, or ImageFile is downloaded to a user's local computer from another ComputerSystem on a network.") | ComputerInput.kif 2772-2775 | Downloading non audio video image user file is a subclass of downloading user file |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DownloadingNonAudioVideoImageUserFile "downloading non audio video image user file") | domainEnglishFormat.kif 64786-64786 |
| antecedent |
|
|
| (=> (and (instance ?ACT DownloadingNonAudioVideoImageUserFile) (patient ?ACT ?FILE) (instance ?FILE ComputerFile)) (and (not (instance ?FILE ImageFile)) (not (instance ?FILE AudioFile)) (not (instance ?FILE MultimediaFile)))) |
ComputerInput.kif 2777-2788 | If X is an instance of downloading non audio video image user file, Y is a patient of X, and Y is an instance of computer file, then Y is not an instance of image file, Y is not an instance of audio file, and Y is not an instance of multimedia file |
|