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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - simpleDeadline

appearance as argument number 1

(documentation simpleDeadline EnglishLanguage "(simpleDeadline ?PATH ?TIME)holds if ?TIME is the maximum end-to-end path latency during a cycle of a continuous or quasicontinuous path or during the activation of a transient path.") QoSontology.kif 1174-1177
(domain simpleDeadline 1 ComputerPath) QoSontology.kif 1172-1172
(domain simpleDeadline 2 TimeDuration) QoSontology.kif 1173-1173
(instance simpleDeadline BinaryPredicate) QoSontology.kif 1171-1171

appearance as argument number 2

(format ChineseLanguage simpleDeadline "%2 %n 是 %1 的 simple 截止") domainEnglishFormat.kif 2299-2299
(format ChineseTraditionalLanguage simpleDeadline "%2 %n 是 %1 的 simple 截止") domainEnglishFormat.kif 2298-2298
(format EnglishLanguage simpleDeadline "%2 is %n a simple deadline of %1") domainEnglishFormat.kif 2297-2297
(termFormat ChineseLanguage simpleDeadline "简单的截止日期") domainEnglishFormat.kif 53106-53106
(termFormat ChineseTraditionalLanguage simpleDeadline "簡單的截止日期") domainEnglishFormat.kif 53105-53105
(termFormat EnglishLanguage simpleDeadline "simple deadline") domainEnglishFormat.kif 53104-53104

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