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 858-859
(subclass MonitoringProgram ComputerProgram) QoSontology.kif 857-857 监测计划电脑程序subclass

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


(subclass MonitorApplicationCmd MonitoringProgram) QoSontology.kif 931-931 监视应用程序cmd监测计划subclass
(subclass MonitorComponentCmd MonitoringProgram) QoSontology.kif 935-935 监视组件cmd监测计划subclass
(subclass MonitorConnectivityCmd MonitoringProgram) QoSontology.kif 927-927 监控连接cmd监测计划subclass
(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 基准表现 的 2 数量 是 监测计划instance
(domain dataID 1 MonitoringProgram) QoSontology.kif 878-878 dataID 的 1 数量 是 监测计划instance

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