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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - batchInterArrival

appearance as argument number 1

(documentation batchInterArrival EnglishLanguage "(batchInterArrival ?PATH ?TIME) holds if ?TIME is the maximum allowable time between processing of a particular element of a continuous or quasicontinuous path's data stream in successive cycles.") QoSontology.kif 1193-1196
(domain batchInterArrival 1 ComputerPath) QoSontology.kif 1191-1191
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1192-1192
(instance batchInterArrival BinaryPredicate) QoSontology.kif 1190-1190

appearance as argument number 2

(format ChineseLanguage batchInterArrival "%2 %n 是 %1 的 batch 之间抵达") domainEnglishFormat.kif 260-260
(format ChineseTraditionalLanguage batchInterArrival "%2 %n 是 %1 的 batch 之間抵達") domainEnglishFormat.kif 259-259
(format EnglishLanguage batchInterArrival "%2 is %n a batch inter arrival of %1") domainEnglishFormat.kif 258-258
(termFormat ChineseLanguage batchInterArrival "批次到达") domainEnglishFormat.kif 10167-10167
(termFormat ChineseTraditionalLanguage batchInterArrival "批次到達") domainEnglishFormat.kif 10166-10166
(termFormat EnglishLanguage batchInterArrival "batch inter arrival") domainEnglishFormat.kif 10165-10165

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