| 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 1123-1124 | |
| (domain numberOfCPUs 1 Computer) | QoSontology.kif 1121-1121 | The number 1 argument of number of CPUs is an instance of computer |
| (domain numberOfCPUs 2 PositiveInteger) | QoSontology.kif 1122-1122 | The number 2 argument of number of CPUs is an instance of positive integer |
| (instance numberOfCPUs BinaryPredicate) | QoSontology.kif 1120-1120 | number of CPUs is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage numberOfCPUs "%2 %n 是 %1 的 number CPUs") | domainEnglishFormat.kif 1815-1815 | |
| (format ChineseTraditionalLanguage numberOfCPUs "%2 %n 是 %1 的 number CPUs") | domainEnglishFormat.kif 1814-1814 | |
| (format EnglishLanguage numberOfCPUs "%2 is %n a number of CPUs of %1") | domainEnglishFormat.kif 1813-1813 | |
| (termFormat ChineseLanguage numberOfCPUs "CPU的数量") | domainEnglishFormat.kif 41464-41464 | |
| (termFormat ChineseTraditionalLanguage numberOfCPUs "CPU的數量") | domainEnglishFormat.kif 41463-41463 | |
| (termFormat EnglishLanguage numberOfCPUs "number of CPUs") | domainEnglishFormat.kif 41462-41462 |
|
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