MonitoringProgram |
appearance as argument number 1 |
![]() |
(documentation MonitoringProgram EnglishLanguage "A program which monitors performance of an application, a component, etc.") | QoSontology.kif 856-857 | |
(subclass MonitoringProgram ComputerProgram) | QoSontology.kif 855-855 |
appearance as argument number 2 |
![]() |
(subclass MonitorApplicationCmd MonitoringProgram) | QoSontology.kif 929-929 | |
(subclass MonitorComponentCmd MonitoringProgram) | QoSontology.kif 933-933 | |
(subclass MonitorConnectivityCmd MonitoringProgram) | QoSontology.kif 925-925 | |
(termFormat ChineseLanguage MonitoringProgram "监测计划") | domainEnglishFormat.kif 38418-38418 | |
(termFormat ChineseTraditionalLanguage MonitoringProgram "監測計劃") | domainEnglishFormat.kif 38417-38417 | |
(termFormat EnglishLanguage MonitoringProgram "monitoring program") | domainEnglishFormat.kif 38416-38416 |
appearance as argument number 3 |
![]() |
(domain benchmarkPerformance 2 MonitoringProgram) | QoSontology.kif 1044-1044 | |
(domain dataID 1 MonitoringProgram) | QoSontology.kif 876-876 |
antecedent |
![]() |
(=> (instance ?Monitor MonitoringProgram) (exists (?System ?Event ?MonitorCopy) (and (systemMeasured ?Event ?System) (programCopy ?MonitorCopy ?Monitor) (agent ?Event ?MonitorCopy)))) |
QoSontology.kif 859-865 |
consequent |
![]() |
(=> (instance ?Event MeasuringPerformance) (exists (?Program ?Copy) (and (instance ?Program MonitoringProgram) (programCopy ?Copy ?Program) (agent ?Event ?Copy)))) |
QoSontology.kif 886-892 |
![]() |
![]() |