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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(domain numberOfCPUs 2 PositiveInteger) QoSontology.kif 1016-1016
(instance numberOfCPUs BinaryPredicate) QoSontology.kif 1014-1014

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 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