PositiveInteger
(正の整数)
(
domain
maximumReplications
2
PositiveInteger
)
QoSontology.kif 742-742
maximumReplications
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
minimumReplications
2
PositiveInteger
)
QoSontology.kif 721-721
minimumReplications
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
numberOfCPUs
2
PositiveInteger
)
QoSontology.kif 1016-1016
numberOfCPUs
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
numberOfCustomers
1
PositiveInteger
)
Dining.kif 729-729
numberOfCustomers
の数値 1 引数は
正の整数
の
instance
では %n
(
domain
pathLength
2
PositiveInteger
)
Merge.kif 5913-5913
pathLength
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
personTransportCapability
2
PositiveInteger
)
MilitaryDevices.kif 72-72
personTransportCapability
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
portNumber
2
PositiveInteger
)
QoSontology.kif 769-769
portNumber
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
processID
2
PositiveInteger
)
QoSontology.kif 777-777
processID
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
protonNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21684-21684
protonNumber
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
slidingWindowSize
2
PositiveInteger
)
QoSontology.kif 1203-1203
slidingWindowSize
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
valence
2
PositiveInteger
)
Merge.kif 362-362
valence
の数値 2 引数は
正の整数
の
instance
では %n
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
weaponCarryingCapability
の数値 3 引数は
正の整数
の
instance
では %n
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