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

Formal Language: 



KB Term:  Term intersection
English Word: 

  systemMeasured

Sigma KEE - systemMeasured
systemMeasured

appearance as argument number 1
-------------------------


(documentation systemMeasured EnglishLanguage "(systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System.") QoSontology.kif 873-875
(domain systemMeasured 1 MeasuringPerformance) QoSontology.kif 871-871
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 872-872
(instance systemMeasured AsymmetricRelation) QoSontology.kif 870-870
(instance systemMeasured BinaryPredicate) QoSontology.kif 869-869

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


(format ChineseLanguage systemMeasured "%2 %n 是 %1 的 system 测量") domainEnglishFormat.kif 2431-2431
(format ChineseTraditionalLanguage systemMeasured "%2 %n 是 %1 的 system 測量") domainEnglishFormat.kif 2430-2430
(format EnglishLanguage systemMeasured "%2 is %n a system measured of %1") domainEnglishFormat.kif 2429-2429
(termFormat ChineseLanguage systemMeasured "系统测量的") domainEnglishFormat.kif 56665-56665
(termFormat ChineseTraditionalLanguage systemMeasured "系統測量的") domainEnglishFormat.kif 56664-56664
(termFormat EnglishLanguage systemMeasured "system measured") domainEnglishFormat.kif 56663-56663

consequent
-------------------------


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


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