Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MonitoringProgram

 Sigma KEE - MonitoringProgram
MonitoringProgram(monitoring program)

appearance as argument number 1
-------------------------


(subclass MonitoringProgram ComputerProgram) QoSontology.kif 953-953 Monitoring program is a subclass of computer program
(documentation MonitoringProgram EnglishLanguage "A program which monitors performance of an application, a component, etc.") QoSontology.kif 954-955 Monitoring program is a subclass of computer program

appearance as argument number 2
-------------------------


(subclass MonitorConnectivityCmd MonitoringProgram) QoSontology.kif 1023-1023 Monitor connectivity cmd is a subclass of monitoring program
(subclass MonitorApplicationCmd MonitoringProgram) QoSontology.kif 1027-1027 Monitor application cmd is a subclass of monitoring program
(subclass MonitorComponentCmd MonitoringProgram) QoSontology.kif 1031-1031 Monitor component cmd is a subclass of monitoring program
(termFormat EnglishLanguage MonitoringProgram "monitoring program") domainEnglishFormat.kif 38435-38435 Monitor component cmd is a subclass of monitoring program
(termFormat ChineseTraditionalLanguage MonitoringProgram "監測計劃") domainEnglishFormat.kif 38436-38436 Monitor component cmd is a subclass of monitoring program
(termFormat ChineseLanguage MonitoringProgram "监测计划") domainEnglishFormat.kif 38437-38437 Monitor component cmd is a subclass of monitoring program

appearance as argument number 3
-------------------------


(domain dataID 1 MonitoringProgram) QoSontology.kif 974-974 The number 1 argument of dataID is an instance of monitoring program
(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1135-1135 The number 2 argument of benchmark performance is an instance of monitoring program

antecedent
-------------------------


(=>
    (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

consequent
-------------------------


(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners