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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MonitoringProgram

Sigma KEE - MonitoringProgram
MonitoringProgram

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

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


(subclass MonitorApplicationCmd MonitoringProgram) QoSontology.kif 931-931
(subclass MonitorComponentCmd MonitoringProgram) QoSontology.kif 935-935
(subclass MonitorConnectivityCmd MonitoringProgram) QoSontology.kif 927-927
(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
(domain dataID 1 MonitoringProgram) QoSontology.kif 878-878

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