Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| systemMeasured |
| appearance as argument number 1 |
|
| (instance systemMeasured BinaryPredicate) | QoSontology.kif 965-965 | system measured is an instance of binary predicate |
| (instance systemMeasured AsymmetricRelation) | QoSontology.kif 966-966 | system measured is an instance of asymmetric relation |
| (domain systemMeasured 1 MeasuringPerformance) | QoSontology.kif 967-967 | The number 1 argument of system measured is an instance of measuring performance |
| (domain systemMeasured 2 ComputationalSystem) | QoSontology.kif 968-968 | The number 2 argument of system measured is an instance of computational system |
| (documentation systemMeasured EnglishLanguage "(systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System.") | QoSontology.kif 969-971 | The number 2 argument of system measured is an instance of computational system |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage systemMeasured "%2 is %n a system measured of %1") | domainEnglishFormat.kif 2433-2433 | |
| (format ChineseTraditionalLanguage systemMeasured "%2 %n 是 %1 的 system 測量") | domainEnglishFormat.kif 2434-2434 | |
| (format ChineseLanguage systemMeasured "%2 %n 是 %1 的 system 测量") | domainEnglishFormat.kif 2435-2435 | |
| (termFormat EnglishLanguage systemMeasured "system measured") | domainEnglishFormat.kif 56660-56660 | |
| (termFormat ChineseTraditionalLanguage systemMeasured "系統測量的") | domainEnglishFormat.kif 56661-56661 | |
| (termFormat ChineseLanguage systemMeasured "系统测量的") | domainEnglishFormat.kif 56662-56662 |
| consequent |
|
|
| (=> (instance ?Monitor MonitoringProgram) (exists (?System ?Event ?MonitorCopy) (and (systemMeasured ?Event ?System) (programCopy ?MonitorCopy ?Monitor) (agent ?Event ?MonitorCopy)))) |
QoSontology.kif 957-963 | If X is an instance of monitoring program, then there exist Y, Z, W such that Y is a system measured of Z, W is a copy of X, and W is an agent of Z |
|