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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 安顿时间 的 1 数量 是 电脑程序instance
(domain settlingTime 2 TimeDuration) QoSontology.kif 714-714 安顿时间 的 2 数量 是 持续时间instance
(instance settlingTime BinaryPredicate) QoSontology.kif 712-712 安顿时间二元谓语instance

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 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