| appearance as argument number 1 |
|
| (documentation load EnglishLanguage "In performance measurement, the current use of a system as a percentage of total capacity.") | QoSontology.kif 1848-1849 | |
| (domain load 1 ComputerComponent) | QoSontology.kif 1846-1846 | 加载 的 1 数量 是 电脑组件 的 instance |
| (domain load 2 RealNumber) | QoSontology.kif 1847-1847 | 加载 的 2 数量 是 实数 的 instance |
| (instance load BinaryPredicate) | QoSontology.kif 1845-1845 | 加载 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage load "在 %1 的 load 是 %2 ") | domainEnglishFormat.kif 3791-3791 | |
| (format ChineseTraditionalLanguage load "在 %1 的 load 是 %2 ") | domainEnglishFormat.kif 3790-3790 | |
| (format EnglishLanguage load "the load on %1 is %2") | domainEnglishFormat.kif 3789-3789 | |
| (termFormat ChineseLanguage load "加载") | domainEnglishFormat.kif 34776-34776 | |
| (termFormat ChineseTraditionalLanguage load "加載") | domainEnglishFormat.kif 34775-34775 | |
| (termFormat EnglishLanguage load "load") | domainEnglishFormat.kif 34774-34774 |
| antecedent |
|
|
| (=> (load ?System ?Load) (exists (?Event) (performanceResult ?Event ?System ?Load))) |
QoSontology.kif 1851-1854 |
|
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