PositiveInteger
(Inteiro positivo)
(
domain
maximumReplications
2
PositiveInteger
)
QoSontology.kif 742-742
O argumento numero 2 de
maximumReplications
e' uma
instancia
de
Inteiro positivo
(
domain
minimumReplications
2
PositiveInteger
)
QoSontology.kif 721-721
O argumento numero 2 de
minimumReplications
e' uma
instancia
de
Inteiro positivo
(
domain
numberOfCPUs
2
PositiveInteger
)
QoSontology.kif 1016-1016
O argumento numero 2 de
numberOfCPUs
e' uma
instancia
de
Inteiro positivo
(
domain
numberOfCustomers
1
PositiveInteger
)
Dining.kif 729-729
O argumento numero 1 de
numberOfCustomers
e' uma
instancia
de
Inteiro positivo
(
domain
pathLength
2
PositiveInteger
)
Merge.kif 5913-5913
O argumento numero 2 de
pathLength
e' uma
instancia
de
Inteiro positivo
(
domain
personTransportCapability
2
PositiveInteger
)
MilitaryDevices.kif 72-72
O argumento numero 2 de
personTransportCapability
e' uma
instancia
de
Inteiro positivo
(
domain
portNumber
2
PositiveInteger
)
QoSontology.kif 769-769
O argumento numero 2 de
portNumber
e' uma
instancia
de
Inteiro positivo
(
domain
processID
2
PositiveInteger
)
QoSontology.kif 777-777
O argumento numero 2 de
processID
e' uma
instancia
de
Inteiro positivo
(
domain
protonNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21684-21684
O argumento numero 2 de
protonNumber
e' uma
instancia
de
Inteiro positivo
(
domain
slidingWindowSize
2
PositiveInteger
)
QoSontology.kif 1203-1203
O argumento numero 2 de
slidingWindowSize
e' uma
instancia
de
Inteiro positivo
(
domain
valence
2
PositiveInteger
)
Merge.kif 362-362
O argumento numero 2 de
valence
e' uma
instancia
de
Inteiro positivo
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
O argumento numero 3 de
weaponCarryingCapability
e' uma
instancia
de
Inteiro positivo
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
