(domain maximumReplications 2 PositiveInteger) |
QoSontology.kif 742-742 |
域 最大的複制, 2 and PositiveInteger |
(domain minimumReplications 2 PositiveInteger) |
QoSontology.kif 721-721 |
域 最小重複, 2 and PositiveInteger |
(domain numberOfCPUs 2 PositiveInteger) |
QoSontology.kif 1016-1016 |
域 CPU的數量, 2 and PositiveInteger |
(domain numberOfCustomers 1 PositiveInteger) |
Dining.kif 729-729 |
域 numberOfCustomers, 1 and PositiveInteger |
(domain pathLength 2 PositiveInteger) |
Merge.kif 5913-5913 |
域 路徑長度, 2 and PositiveInteger |
(domain personTransportCapability 2 PositiveInteger) |
MilitaryDevices.kif 72-72 |
域 人員運輸能力, 2 and PositiveInteger |
(domain portNumber 2 PositiveInteger) |
QoSontology.kif 769-769 |
域 端口號, 2 and PositiveInteger |
(domain processID 2 PositiveInteger) |
QoSontology.kif 777-777 |
域 過程ID, 2 and PositiveInteger |
(domain protonNumber 2 PositiveInteger) |
Mid-level-ontology.kif 21684-21684 |
域 質子數, 2 and PositiveInteger |
(domain slidingWindowSize 2 PositiveInteger) |
QoSontology.kif 1203-1203 |
域 滑動窗口尺寸, 2 and PositiveInteger |
(domain valence 2 PositiveInteger) |
Merge.kif 362-362 |
域 價, 2 and PositiveInteger |
(domain weaponCarryingCapability 3 PositiveInteger) |
MilitaryDevices.kif 25-25 |
域 武器攜帶能力, 3 and PositiveInteger |