Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  numberOfCPUs

Sigma KEE - numberOfCPUs
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 numberOfCPUs の数値 1 引数は Computerinstance では %n
(domain numberOfCPUs 2 PositiveInteger) QoSontology.kif 1016-1016 numberOfCPUs の数値 2 引数は 正の整数instance では %n
(instance numberOfCPUs BinaryPredicate) QoSontology.kif 1014-1014 numberOfCPUs2進述語instance では %n

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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