Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 1462-1465 | |
| (subclass SoftwareFile ComputerFile) | Media.kif 1466-1466 | Software file is a subclass of computer file |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SoftwareFile "software file") | domainEnglishFormat.kif 65514-65514 |
| antecedent |
|
|
| (=> (instance ?FILE SoftwareFile) (exists (?PROGRAM ?SUBPROGRAM) (and (instance ?PROGRAM ComputerProgram) (subsumesContentInstance ?PROGRAM ?SUBPROGRAM) (containsInformation ?FILE ?SUBPROGRAM)))) |
Media.kif 1481-1487 | If X is an instance of software file, then there exist Y, Z such that Y is an instance of computer program, Y subsumes the content of Z, and X contains information Z |
| consequent |
|
|
| (=> (instance ?ACT DownloadingSoftware) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE SoftwareFile)))) |
ComputerInput.kif 2722-2727 | If X is an instance of downloading software, then there exists Y such that Y is a patient of X and Y is an instance of software file |
| (=> (instance ?SOFTWARE SoftwareSystem) (exists (?FILE) (and (instance ?FILE SoftwareFile) (component ?FILE ?SOFTWARE)))) |
Media.kif 1468-1473 | If X is an instance of software system, then there exists Y such that Y is an instance of software file and Y is a component of X |
|