(domain maximumReplications 2 PositiveInteger)	QoSontology.kif 742-742	Il numero 2 argomenti di maximumReplications è un istanza di NumeroInteroPositivo
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 721-721	Il numero 2 argomenti di minimumReplications è un istanza di NumeroInteroPositivo
(domain numberOfCPUs 2 PositiveInteger)	QoSontology.kif 1016-1016	Il numero 2 argomenti di numberOfCPUs è un istanza di NumeroInteroPositivo
(domain numberOfCustomers 1 PositiveInteger)	Dining.kif 729-729	Il numero 1 argomenti di numberOfCustomers è un istanza di NumeroInteroPositivo
(domain pathLength 2 PositiveInteger)	Merge.kif 5913-5913	Il numero 2 argomenti di pathLength è un istanza di NumeroInteroPositivo
(domain personTransportCapability 2 PositiveInteger)	MilitaryDevices.kif 72-72	Il numero 2 argomenti di personTransportCapability è un istanza di NumeroInteroPositivo
(domain portNumber 2 PositiveInteger)	QoSontology.kif 769-769	Il numero 2 argomenti di portNumber è un istanza di NumeroInteroPositivo
(domain processID 2 PositiveInteger)	QoSontology.kif 777-777	Il numero 2 argomenti di processID è un istanza di NumeroInteroPositivo
(domain protonNumber 2 PositiveInteger)	Mid-level-ontology.kif 21683-21683	Il numero 2 argomenti di protonNumber è un istanza di NumeroInteroPositivo
(domain slidingWindowSize 2 PositiveInteger)	QoSontology.kif 1203-1203	Il numero 2 argomenti di slidingWindowSize è un istanza di NumeroInteroPositivo
(domain valence 2 PositiveInteger)	Merge.kif 362-362	Il numero 2 argomenti di valence è un istanza di NumeroInteroPositivo
(domain weaponCarryingCapability 3 PositiveInteger)	MilitaryDevices.kif 25-25	Il numero 3 argomenti di weaponCarryingCapability è un istanza di NumeroInteroPositivo

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