| 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 1517-1520 | |
| (subclass SoftwareFile ComputerFile) | Media.kif 1521-1521 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SoftwareFile "software file") | domainEnglishFormat.kif 65534-65534 |
| antecedent |
|
|
| (=> (instance ?FILE SoftwareFile) (exists (?PROGRAM ?SUBPROGRAM) (and (instance ?PROGRAM ComputerProgram) (subsumesContentInstance ?PROGRAM ?SUBPROGRAM) (containsInformation ?FILE ?SUBPROGRAM)))) |
Media.kif 1536-1542 |
| 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 1523-1528 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners