SoftwareFile |
appearance as argument number 1 |
(documentation SoftwareFile EnglishLanguage "An instance of SoftwareFile is a ComputerFile that contains information (containsInformation) which constitutes (instantiates) a ComputerProgram.") | Media.kif 1515-1518 | |
(subclass SoftwareFile ComputerFile) | Media.kif 1519-1519 | SoftwareFile 是 电脑文件 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage SoftwareFile "software file") | domainEnglishFormat.kif 65513-65513 |
antecedent |
(=> (instance ?FILE SoftwareFile) (exists (?PROGRAM ?SUBPROGRAM) (and (instance ?PROGRAM ComputerProgram) (subsumesContentInstance ?PROGRAM ?SUBPROGRAM) (containsInformation ?FILE ?SUBPROGRAM)))) |
Media.kif 1534-1540 |
|
consequent |
(=> (instance ?ACT DownloadingSoftware) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE SoftwareFile)))) |
ComputerInput.kif 2706-2711 |
|
(=> (instance ?SOFTWARE SoftwareSystem) (exists (?FILE) (and (instance ?FILE SoftwareFile) (component ?FILE ?SOFTWARE)))) |
Media.kif 1521-1526 |
|