(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