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 systemMeasured の数値 1 引数は MeasuringPerformanceinstance では %n
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 872-872 systemMeasured の数値 2 引数は ComputationalSysteminstance では %n
(instance systemMeasured AsymmetricRelation) QoSontology.kif 870-870 systemMeasured非対称関係instance では %n
(instance systemMeasured BinaryPredicate) QoSontology.kif 869-869 systemMeasured2進述語instance では %n

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 56667-56667
(termFormat ChineseTraditionalLanguage systemMeasured "系統測量的") domainEnglishFormat.kif 56666-56666
(termFormat EnglishLanguage systemMeasured "system measured") domainEnglishFormat.kif 56665-56665

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