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 The number 1 argument of settling time is an instance of computer program
(domain settlingTime 2 TimeDuration) QoSontology.kif 714-714 The number 2 argument of settling time is an instance of time duration
(instance settlingTime BinaryPredicate) QoSontology.kif 712-712 settling time is an instance of binary predicate

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 52335-52335
(termFormat ChineseTraditionalLanguage settlingTime "安頓時間") domainEnglishFormat.kif 52334-52334
(termFormat EnglishLanguage settlingTime "settling time") domainEnglishFormat.kif 52333-52333


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