Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonitoringProgram
MonitoringProgram(monitoring program)

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


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

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


(subclass MonitorApplicationCmd MonitoringProgram) QoSontology.kif 931-931 Monitor application cmd is a subclass of monitoring program
(subclass MonitorComponentCmd MonitoringProgram) QoSontology.kif 935-935 Monitor component cmd is a subclass of monitoring program
(subclass MonitorConnectivityCmd MonitoringProgram) QoSontology.kif 927-927 Monitor connectivity cmd is a subclass of monitoring program
(termFormat ChineseLanguage MonitoringProgram "监测计划") domainEnglishFormat.kif 38433-38433
(termFormat ChineseTraditionalLanguage MonitoringProgram "監測計劃") domainEnglishFormat.kif 38432-38432
(termFormat EnglishLanguage MonitoringProgram "monitoring program") domainEnglishFormat.kif 38431-38431

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


(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1039-1039 The number 2 argument of benchmark performance is an instance of monitoring program
(domain dataID 1 MonitoringProgram) QoSontology.kif 878-878 The number 1 argument of dataID 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 861-867

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


(=>
    (instance ?Event MeasuringPerformance)
    (exists (?Program ?Copy)
        (and
            (instance ?Program MonitoringProgram)
            (programCopy ?Copy ?Program)
            (agent ?Event ?Copy))))
QoSontology.kif 888-894


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 is open source software produced by Articulate Software and its partners