PositiveInteger
(nombre entier positif)
(
domain
maximumReplications
2
PositiveInteger
)
QoSontology.kif 742-742
Le nombre 2 argument de
maximumReplications
est une
instance
de
nombre entier positif
(
domain
minimumReplications
2
PositiveInteger
)
QoSontology.kif 721-721
Le nombre 2 argument de
minimumReplications
est une
instance
de
nombre entier positif
(
domain
numberOfCPUs
2
PositiveInteger
)
QoSontology.kif 1016-1016
Le nombre 2 argument de
numberOfCPUs
est une
instance
de
nombre entier positif
(
domain
numberOfCustomers
1
PositiveInteger
)
Dining.kif 729-729
Le nombre 1 argument de
numberOfCustomers
est une
instance
de
nombre entier positif
(
domain
pathLength
2
PositiveInteger
)
Merge.kif 5913-5913
Le nombre 2 argument de
pathLength
est une
instance
de
nombre entier positif
(
domain
personTransportCapability
2
PositiveInteger
)
MilitaryDevices.kif 72-72
Le nombre 2 argument de
personTransportCapability
est une
instance
de
nombre entier positif
(
domain
portNumber
2
PositiveInteger
)
QoSontology.kif 769-769
Le nombre 2 argument de
portNumber
est une
instance
de
nombre entier positif
(
domain
processID
2
PositiveInteger
)
QoSontology.kif 777-777
Le nombre 2 argument de
processID
est une
instance
de
nombre entier positif
(
domain
protonNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21684-21684
Le nombre 2 argument de
protonNumber
est une
instance
de
nombre entier positif
(
domain
slidingWindowSize
2
PositiveInteger
)
QoSontology.kif 1203-1203
Le nombre 2 argument de
slidingWindowSize
est une
instance
de
nombre entier positif
(
domain
valence
2
PositiveInteger
)
Merge.kif 362-362
Le nombre 2 argument de
valence
est une
instance
de
nombre entier positif
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
Le nombre 3 argument de
weaponCarryingCapability
est une
instance
de
nombre entier positif
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