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

Formal Language: 



KB Term:  Term intersection
English Word: 

  simpleDeadline

Sigma KEE - simpleDeadline
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 簡單的截止日期, 1 and 計算機路徑
(domain simpleDeadline 2 TimeDuration) QoSontology.kif 1173-1173 簡單的截止日期, 2 and TimeDuration
(instance simpleDeadline BinaryPredicate) QoSontology.kif 1171-1171 簡單的截止日期 and BinaryPredicate

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 53122-53122
(termFormat ChineseTraditionalLanguage simpleDeadline "簡單的截止日期") domainEnglishFormat.kif 53121-53121
(termFormat EnglishLanguage simpleDeadline "simple deadline") domainEnglishFormat.kif 53120-53120


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