DownloadingSoftware
|
|
appearance as argument number 1 |
(documentation DownloadingSoftware EnglishLanguage "DownloadingSoftware is those instances of NetworkCommunication in which a SoftwarePackage is downloaded from a network onto the user's local computer.") | ComputerInput.kif 2702-2704 | |
(subclass DownloadingSoftware DownloadingOverNetwork) | ComputerInput.kif 2701-2701 | DownloadingSoftware 是 下載 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage DownloadingSoftware "downloading software") | domainEnglishFormat.kif 64787-64787 |
antecedent |
(=> (instance ?ACT DownloadingSoftware) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE SoftwareFile)))) |
ComputerInput.kif 2706-2711 |
|