Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| programCopy |
| appearance as argument number 1 |
|
| (instance programCopy AsymmetricRelation) | QoSontology.kif 729-729 | program copy is an instance of asymmetric relation |
| (subrelation programCopy containsInformation) | QoSontology.kif 730-730 | program copy is a subrelation of contains information |
| (domain programCopy 1 ComputerFile) | QoSontology.kif 731-731 | The number 1 argument of program copy is an instance of computer file |
| (domain programCopy 2 ComputerProgram) | QoSontology.kif 732-732 | The number 2 argument of program copy is an instance of computer program |
| (documentation programCopy EnglishLanguage "(programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program.") | QoSontology.kif 733-735 | The number 2 argument of program copy is an instance of computer program |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 694-701 | If X is an instance of RM start application, then there exist Y, Z, W such that Y is an instance of computer program, W is a copy of X, the startup of Y is a program running of Z, and W is an agent of Z |
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 720-727 | If X is a rM programof of Y, then there exist Z, W, V such that Z is a part of X, V is a copy of Y, Z is a program running of W, and V is an agent of W |
| (=> (instance ?Monitor MonitoringProgram) (exists (?System ?Event ?MonitorCopy) (and (systemMeasured ?Event ?System) (programCopy ?MonitorCopy ?Monitor) (agent ?Event ?MonitorCopy)))) |
QoSontology.kif 957-963 | If X is an instance of monitoring program, then there exist Y, Z, W such that Y is a system measured of Z, W is a copy of X, and W is an agent of Z |
| (=> (instance ?Event MeasuringPerformance) (exists (?Program ?Copy) (and (instance ?Program MonitoringProgram) (programCopy ?Copy ?Program) (agent ?Event ?Copy)))) |
QoSontology.kif 984-990 | If X is an instance of measuring performance, then there exist Y, Z such that Y is an instance of monitoring program, Z is a copy of Y, and Z is an agent of X |
|