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

Formal Language: 

KB Term:  Term intersection
English Word: 

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