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

Formal Language: 



KB Term:  Term intersection
English Word: 

  load

 Sigma KEE - load
load

appearance as argument number 1
-------------------------


(documentation load EnglishLanguage "In performance measurement, the current use of a system as a percentage of total capacity.") QoSontology.kif 1843-1844
(domain load 1 ComputerComponent) QoSontology.kif 1841-1841 load の数値 1 引数は ComputerComponent の instance では %n
(domain load 2 RealNumber) QoSontology.kif 1842-1842 load の数値 2 引数は 実数 の instance では %n
(instance load BinaryPredicate) QoSontology.kif 1840-1840 load は 2進述語 の instance では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage load "在 %1 的 load 是 %2 ") domainEnglishFormat.kif 3786-3786
(format ChineseTraditionalLanguage load "在 %1 的 load 是 %2 ") domainEnglishFormat.kif 3785-3785
(format EnglishLanguage load "the load on %1 is %2") domainEnglishFormat.kif 3784-3784
(termFormat ChineseLanguage load "加载") domainEnglishFormat.kif 34793-34793
(termFormat ChineseTraditionalLanguage load "加載") domainEnglishFormat.kif 34792-34792
(termFormat EnglishLanguage load "load") domainEnglishFormat.kif 34791-34791

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