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


KB Term:  Term intersection
English Word: 

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners