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

Formal Language: 



KB Term:  Term intersection
English Word: 

  settlingTime

Sigma KEE - settlingTime
settlingTime

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


(documentation settlingTime EnglishLanguage "(settlingTime ?PROGRAM ?TIME) says that ?TIME represents seconds to delay after an action was taken with respect to QoS.") QoSontology.kif 715-717
(domain settlingTime 1 ComputerProgram) QoSontology.kif 713-713 settlingTime の数値 1 引数は コンピュータープログラムinstance では %n
(domain settlingTime 2 TimeDuration) QoSontology.kif 714-714 settlingTime の数値 2 引数は 時間分instance では %n
(instance settlingTime BinaryPredicate) QoSontology.kif 712-712 settlingTime2進述語instance では %n

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


(format ChineseLanguage settlingTime "%2 %n 是 %1 的 settling 时间") domainEnglishFormat.kif 2255-2255
(format ChineseTraditionalLanguage settlingTime "%2 %n 是 %1 的 settling 時間") domainEnglishFormat.kif 2254-2254
(format EnglishLanguage settlingTime "%2 is %n a settling time of %1") domainEnglishFormat.kif 2253-2253
(termFormat ChineseLanguage settlingTime "安顿时间") domainEnglishFormat.kif 52337-52337
(termFormat ChineseTraditionalLanguage settlingTime "安頓時間") domainEnglishFormat.kif 52336-52336
(termFormat EnglishLanguage settlingTime "settling time") domainEnglishFormat.kif 52335-52335


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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