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 域 CPU的數量, 1 and 電腦
(domain numberOfCPUs 2 PositiveInteger) QoSontology.kif 1016-1016 域 CPU的數量, 2 and PositiveInteger
(instance numberOfCPUs BinaryPredicate) QoSontology.kif 1014-1014 例 CPU的數量 and BinaryPredicate

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


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