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

Formal Language: 

KB Term:  Term intersection
English Word: 

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


    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
            (systemMeasured ?Event ?System)
            (programCopy ?MonitorCopy ?Monitor)
            (agent ?Event ?MonitorCopy))))
QoSontology.kif 861-867


    (instance ?Event MeasuringPerformance)
    (exists (?Program ?Copy)
            (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