Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| numberOfCPUs |
| appearance as argument number 1 |
|
| (instance numberOfCPUs BinaryPredicate) | QoSontology.kif 1110-1110 | number of CPUs is an instance of binary predicate |
| (domain numberOfCPUs 1 Computer) | QoSontology.kif 1111-1111 | The number 1 argument of number of CPUs is an instance of computer |
| (domain numberOfCPUs 2 PositiveInteger) | QoSontology.kif 1112-1112 | The number 2 argument of number of CPUs is an instance of positive integer |
| (documentation numberOfCPUs EnglishLanguage "(numberOfCPUs ?COMPUTER ?INTEGER) means that the number of CPUs for the host ?COMPUTER is equal to INTEGER.") | QoSontology.kif 1113-1114 | The number 2 argument of number of CPUs is an instance of positive integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage numberOfCPUs "%2 is %n a number of CPUs of %1") | domainEnglishFormat.kif 1813-1813 | |
| (format ChineseTraditionalLanguage numberOfCPUs "%2 %n 是 %1 的 number CPUs") | domainEnglishFormat.kif 1814-1814 | |
| (format ChineseLanguage numberOfCPUs "%2 %n 是 %1 的 number CPUs") | domainEnglishFormat.kif 1815-1815 | |
| (termFormat EnglishLanguage numberOfCPUs "number of CPUs") | domainEnglishFormat.kif 41432-41432 | |
| (termFormat ChineseTraditionalLanguage numberOfCPUs "CPU的數量") | domainEnglishFormat.kif 41433-41433 | |
| (termFormat ChineseLanguage numberOfCPUs "CPU的数量") | domainEnglishFormat.kif 41434-41434 |
|