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 1188-1191
(domain batchInterArrival 1 ComputerPath) QoSontology.kif 1186-1186 批次到达 的 1 数量 是 计算机路径instance
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1187-1187 批次到达 的 2 数量 是 持续时间instance
(instance batchInterArrival BinaryPredicate) QoSontology.kif 1185-1185 批次到达二元谓语instance

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