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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - batchInterArrival
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 1188-1191
(domain batchInterArrival 1 ComputerPath) QoSontology.kif 1186-1186 The number 1 argument of batch inter arrival is an instance of computer path
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1187-1187 The number 2 argument of batch inter arrival is an instance of time duration
(instance batchInterArrival BinaryPredicate) QoSontology.kif 1185-1185 batch inter arrival is an instance of binary predicate

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 10158-10158
(termFormat ChineseTraditionalLanguage batchInterArrival "批次到達") domainEnglishFormat.kif 10157-10157
(termFormat EnglishLanguage batchInterArrival "batch inter arrival") domainEnglishFormat.kif 10156-10156


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