DownloadingRequest |
appearance as argument number 1 |
![]() |
(documentation DownloadingRequest EnglishLanguage "A SubmitAction instructing a ComputerProgram to download a file from an already specified location.") | ComputerInput.kif 1843-1844 | |
(subclass DownloadingRequest SubmitAction) | ComputerInput.kif 1842-1842 | DownloadingRequest est une sous-classe de SubmitAction |
appearance as argument number 2 |
![]() |
(disjoint UploadingRequest DownloadingRequest) | ComputerInput.kif 1856-1856 | UploadingRequest est disjoint de DownloadingRequest |
(termFormat EnglishLanguage DownloadingRequest "downloading request") | domainEnglishFormat.kif 64784-64784 |
antecedent |
![]() |
(=> (instance ?ACT DownloadingRequest) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ComputerFile)))) |
ComputerInput.kif 1846-1851 |
|
![]() |
![]() |