Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SoftwareSystem(software system) |
| appearance as argument number 1 |
|
| (subclass SoftwareSystem ComputerProgram) | QoSontology.kif 263-263 | Software system is a subclass of computer program |
| (documentation SoftwareSystem EnglishLanguage "This is the class of mutually supportive groups of instances of ComputerProgram for a single general purpose. For example, a database management system is a collection of many instances of ComputerProgram that work together to store, retrieve, modify, and delete data.") | QoSontology.kif 264-268 | Software system is a subclass of computer program |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 713-713 | The number 2 argument of rM program_of is an instance of software system |
| (domain softwarePath 1 SoftwareSystem) | QoSontology.kif 1180-1180 | The number 1 argument of software path is an instance of software system |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?System SoftwareSystem) (part ?Program ?System) (programRunning ?Process ?Program)) (exists (?Purpose) (hasPurpose ?Process ?Purpose))) |
QoSontology.kif 273-279 | If X is an instance of software system, Y is a part of X, and Y is a program running of Z, then there exists W such that Z has the purpose W |
| (=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 292-300 | If X is an instance of software system, Y is an instance of computer process, and X is a program running of Y, then there exists Z such that Z is an instance of hardware system and Y is running on Z |
| (=> (and (instance ?Application AutomaticApplication) (instance ?System SoftwareSystem) (part ?Application ?System)) (part (StartupFn ?Application) (StartupFn ?System))) |
QoSontology.kif 680-685 | If X is an instance of automatic application, Y is an instance of software system, and X is a part of Y, then the startup of X is a part of the startup of Y |
|