| 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 41471-41471 | |
| (termFormat ChineseTraditionalLanguage numberOfCPUs "CPU的數量") | domainEnglishFormat.kif 41470-41470 | |
| (termFormat EnglishLanguage numberOfCPUs "number of CPUs") | domainEnglishFormat.kif 41469-41469 |
|
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