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

Formal Language: 



KB Term:  Term intersection
English Word: 

  batchInterArrival

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 批次到達, 1 and 計算機路徑
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1187-1187 批次到達, 2 and TimeDuration
(instance batchInterArrival BinaryPredicate) QoSontology.kif 1185-1185 批次到達 and BinaryPredicate

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 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