PositiveInteger
(positive integer)
(
domain
maximumReplications
2
PositiveInteger
)
QoSontology.kif 742-742
The number 2 argument of
maximum replications
is an
instance
of
positive integer
(
domain
minimumReplications
2
PositiveInteger
)
QoSontology.kif 721-721
The number 2 argument of
minimum replications
is an
instance
of
positive integer
(
domain
numberOfCPUs
2
PositiveInteger
)
QoSontology.kif 1016-1016
The number 2 argument of
number of CPUs
is an
instance
of
positive integer
(
domain
numberOfCustomers
1
PositiveInteger
)
Dining.kif 729-729
The number 1 argument of
number of customers
is an
instance
of
positive integer
(
domain
pathLength
2
PositiveInteger
)
Merge.kif 5913-5913
The number 2 argument of
path length
is an
instance
of
positive integer
(
domain
personTransportCapability
2
PositiveInteger
)
MilitaryDevices.kif 72-72
The number 2 argument of
person transport capability
is an
instance
of
positive integer
(
domain
portNumber
2
PositiveInteger
)
QoSontology.kif 769-769
The number 2 argument of
port number
is an
instance
of
positive integer
(
domain
processID
2
PositiveInteger
)
QoSontology.kif 777-777
The number 2 argument of
processID
is an
instance
of
positive integer
(
domain
protonNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21684-21684
The number 2 argument of
proton number
is an
instance
of
positive integer
(
domain
slidingWindowSize
2
PositiveInteger
)
QoSontology.kif 1203-1203
The number 2 argument of
sliding window size
is an
instance
of
positive integer
(
domain
valence
2
PositiveInteger
)
Merge.kif 362-362
The number 2 argument of
valence
is an
instance
of
positive integer
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
The number 3 argument of
weapon carrying capability
is an
instance
of
positive integer
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