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 子類 監測計劃 and ComputerProgram

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


(subclass MonitorApplicationCmd MonitoringProgram) QoSontology.kif 931-931 子類 監視應用程序cmd and 監測計劃
(subclass MonitorComponentCmd MonitoringProgram) QoSontology.kif 935-935 子類 監視組件cmd and 監測計劃
(subclass MonitorConnectivityCmd MonitoringProgram) QoSontology.kif 927-927 子類 監控連接cmd and 監測計劃
(termFormat ChineseLanguage MonitoringProgram "监测计划") domainEnglishFormat.kif 38435-38435
(termFormat ChineseTraditionalLanguage MonitoringProgram "監測計劃") domainEnglishFormat.kif 38434-38434
(termFormat EnglishLanguage MonitoringProgram "monitoring program") domainEnglishFormat.kif 38433-38433

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


(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1039-1039 基準表現, 2 and 監測計劃
(domain dataID 1 MonitoringProgram) QoSontology.kif 878-878 dataID, 1 and 監測計劃

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