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