TreeView Knowledge Base Browser

appearance as argument number 1

(instance batchInterArrival BinaryPredicate)	QoSontology.kif 1281-1281	batch inter arrival is an instance of binary predicate
(domain batchInterArrival 1 ComputerPath)	QoSontology.kif 1282-1282	The number 1 argument of batch inter arrival is an instance of computer path
(domain batchInterArrival 2 TimeDuration)	QoSontology.kif 1283-1283	The number 2 argument of batch inter arrival is an instance of time duration
(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 1284-1287	The number 2 argument of batch inter arrival is an instance of time duration

appearance as argument number 2

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