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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1848-1849
(domain load 1 ComputerComponent) QoSontology.kif 1846-1846 加载 的 1 数量 是 电脑组件instance
(domain load 2 RealNumber) QoSontology.kif 1847-1847 加载 的 2 数量 是 实数instance
(instance load BinaryPredicate) QoSontology.kif 1845-1845 加载二元谓语instance

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


(format ChineseLanguage load "在 %1 的 load 是 %2 ") domainEnglishFormat.kif 3791-3791
(format ChineseTraditionalLanguage load "在 %1 的 load 是 %2 ") domainEnglishFormat.kif 3790-3790
(format EnglishLanguage load "the load on %1 is %2") domainEnglishFormat.kif 3789-3789
(termFormat ChineseLanguage load "加载") domainEnglishFormat.kif 34776-34776
(termFormat ChineseTraditionalLanguage load "加載") domainEnglishFormat.kif 34775-34775
(termFormat EnglishLanguage load "load") domainEnglishFormat.kif 34774-34774

antecedent
-------------------------


(=>
    (load ?System ?Load)
    (exists (?Event)
        (performanceResult ?Event ?System ?Load)))
QoSontology.kif 1851-1854


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