load - Sigma Knowledge base Browser

appearance as argument number 1

(instance load BinaryPredicate)	QoSontology.kif 1964-1964	load is an instance of binary predicate
(domain load 1 ComputerComponent)	QoSontology.kif 1965-1965	The number 1 argument of load is an instance of computer component
(domain load 2 RealNumber)	QoSontology.kif 1966-1966	The number 2 argument of load is an instance of real number
(documentation load EnglishLanguage "In performance measurement, the current use of a system as a percentage of total capacity.")	QoSontology.kif 1967-1968	The number 2 argument of load is an instance of real number

appearance as argument number 2

(format EnglishLanguage load "the load on %1 is %2")	domainEnglishFormat.kif 3782-3782
(format ChineseTraditionalLanguage load "在 %1 的 load 是 %2 ")	domainEnglishFormat.kif 3783-3783
(format ChineseLanguage load "在 %1 的 load 是 %2 ")	domainEnglishFormat.kif 3784-3784
(termFormat EnglishLanguage load "load")	domainEnglishFormat.kif 34795-34795
(termFormat ChineseTraditionalLanguage load "加載")	domainEnglishFormat.kif 34796-34796
(termFormat ChineseLanguage load "加载")	domainEnglishFormat.kif 34797-34797

antecedent

(=>
    (load ?System ?Load)
    (exists (?Event)
        (performanceResult ?Event ?System ?Load)))

If the load on X is Y, then there exists Z such that Z is performance result X for Y