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

Formal Language: 



KB Term:  Term intersection
English Word: 

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


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