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 | simpleDeadline の数値 1 引数は ComputerPath の instance では %n |
(domain simpleDeadline 2 TimeDuration) | QoSontology.kif 1173-1173 | simpleDeadline の数値 2 引数は 時間分 の instance では %n |
(instance simpleDeadline BinaryPredicate) | QoSontology.kif 1171-1171 | simpleDeadline は 2進述語 の instance では %n |
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 |