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 | 域 系統測量的, 1 and 測量性能 |
(domain systemMeasured 2 ComputationalSystem) | QoSontology.kif 872-872 | 域 系統測量的, 2 and 計算系統 |
(instance systemMeasured AsymmetricRelation) | QoSontology.kif 870-870 | 例 系統測量的 and AsymmetricRelation |
(instance systemMeasured BinaryPredicate) | QoSontology.kif 869-869 | 例 系統測量的 and BinaryPredicate |
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 |
|