numberOfCPUs |
appearance as argument number 1 |
(documentation numberOfCPUs EnglishLanguage "(numberOfCPUs ?COMPUTER ?INTEGER) means that the number of CPUs for the host ?COMPUTER is equal to INTEGER.") | QoSontology.kif 1017-1018 | |
(domain numberOfCPUs 1 Computer) | QoSontology.kif 1015-1015 | The number 1 argument of number of CPUs is an instance of computer |
(domain numberOfCPUs 2 PositiveInteger) | QoSontology.kif 1016-1016 | The number 2 argument of number of CPUs is an instance of positive integer |
(instance numberOfCPUs BinaryPredicate) | QoSontology.kif 1014-1014 | number of CPUs is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage numberOfCPUs "%2 %n 是 %1 的 number CPUs") | domainEnglishFormat.kif 1811-1811 | |
(format ChineseTraditionalLanguage numberOfCPUs "%2 %n 是 %1 的 number CPUs") | domainEnglishFormat.kif 1810-1810 | |
(format EnglishLanguage numberOfCPUs "%2 is %n a number of CPUs of %1") | domainEnglishFormat.kif 1809-1809 | |
(termFormat ChineseLanguage numberOfCPUs "CPU的数量") | domainEnglishFormat.kif 41435-41435 | |
(termFormat ChineseTraditionalLanguage numberOfCPUs "CPU的數量") | domainEnglishFormat.kif 41434-41434 | |
(termFormat EnglishLanguage numberOfCPUs "number of CPUs") | domainEnglishFormat.kif 41433-41433 |