DownloadingNonAudioVideoImageUserFile
|
|
appearance as argument number 1 |
(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 2756-2759 | |
(subclass DownloadingNonAudioVideoImageUserFile DownloadingUserFile) | ComputerInput.kif 2755-2755 | DownloadingNonAudioVideoImageUserFile è una sottoclasse di DownloadingUserFile |
appearance as argument number 2 |
(termFormat EnglishLanguage DownloadingNonAudioVideoImageUserFile "downloading non audio video image user file") | domainEnglishFormat.kif 64785-64785 |
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 2761-2772 |