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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 数量 是 计算机路径instance
(domain simpleDeadline 2 TimeDuration) QoSontology.kif 1173-1173 简单的截止日期 的 2 数量 是 持续时间instance
(instance simpleDeadline BinaryPredicate) QoSontology.kif 1171-1171 简单的截止日期二元谓语instance

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


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