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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 713-715
(domain settlingTime 1 ComputerProgram) QoSontology.kif 711-711
(domain settlingTime 2 TimeDuration) QoSontology.kif 712-712
(instance settlingTime BinaryPredicate) QoSontology.kif 710-710

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

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