DownloadingRequest - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DownloadingRequest SubmitAction)	ComputerInput.kif 1858-1858	Downloading request is a subclass of submit action
(documentation DownloadingRequest EnglishLanguage "A SubmitAction instructing a ComputerProgram to download a file from an already specified location.")	ComputerInput.kif 1859-1860	Downloading request is a subclass of submit action

appearance as argument number 2

(disjoint UploadingRequest DownloadingRequest)	ComputerInput.kif 1872-1872	Uploading request is disjoint from downloading request
(termFormat EnglishLanguage DownloadingRequest "downloading request")	domainEnglishFormat.kif 64787-64787	Uploading request is disjoint from downloading request

antecedent

(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))

If X is an instance of downloading request, then there exists Y such that Y is a patient of X and Y is an instance of computer file