PositiveInteger
(正整数)
(
domain
maximumReplications
2
PositiveInteger
)
QoSontology.kif 742-742
最大的复制
的 2 数量 是
正整数
的
instance
(
domain
minimumReplications
2
PositiveInteger
)
QoSontology.kif 721-721
最小重复
的 2 数量 是
正整数
的
instance
(
domain
numberOfCPUs
2
PositiveInteger
)
QoSontology.kif 1016-1016
CPU的数量
的 2 数量 是
正整数
的
instance
(
domain
numberOfCustomers
1
PositiveInteger
)
Dining.kif 729-729
numberOfCustomers
的 1 数量 是
正整数
的
instance
(
domain
pathLength
2
PositiveInteger
)
Merge.kif 5913-5913
路径长度
的 2 数量 是
正整数
的
instance
(
domain
personTransportCapability
2
PositiveInteger
)
MilitaryDevices.kif 72-72
人员运输能力
的 2 数量 是
正整数
的
instance
(
domain
portNumber
2
PositiveInteger
)
QoSontology.kif 769-769
端口号
的 2 数量 是
正整数
的
instance
(
domain
processID
2
PositiveInteger
)
QoSontology.kif 777-777
过程ID
的 2 数量 是
正整数
的
instance
(
domain
protonNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21683-21683
质子数
的 2 数量 是
正整数
的
instance
(
domain
slidingWindowSize
2
PositiveInteger
)
QoSontology.kif 1203-1203
滑动窗口尺寸
的 2 数量 是
正整数
的
instance
(
domain
valence
2
PositiveInteger
)
Merge.kif 362-362
配价
的 2 数量 是
正整数
的
instance
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
武器携带能力
的 3 数量 是
正整数
的
instance
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