(domain maximumReplications 2 PositiveInteger)	QoSontology.kif 742-742	Die Zahl 2 Argument von maximumReplications ist ein fall von PositiveInteger %n{nicht}
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 721-721	Die Zahl 2 Argument von minimumReplications ist ein fall von PositiveInteger %n{nicht}
(domain numberOfCPUs 2 PositiveInteger)	QoSontology.kif 1016-1016	Die Zahl 2 Argument von numberOfCPUs ist ein fall von PositiveInteger %n{nicht}
(domain numberOfCustomers 1 PositiveInteger)	Dining.kif 729-729	Die Zahl 1 Argument von numberOfCustomers ist ein fall von PositiveInteger %n{nicht}
(domain pathLength 2 PositiveInteger)	Merge.kif 5913-5913	Die Zahl 2 Argument von pathLength ist ein fall von PositiveInteger %n{nicht}
(domain personTransportCapability 2 PositiveInteger)	MilitaryDevices.kif 72-72	Die Zahl 2 Argument von personTransportCapability ist ein fall von PositiveInteger %n{nicht}
(domain portNumber 2 PositiveInteger)	QoSontology.kif 769-769	Die Zahl 2 Argument von portNumber ist ein fall von PositiveInteger %n{nicht}
(domain processID 2 PositiveInteger)	QoSontology.kif 777-777	Die Zahl 2 Argument von processID ist ein fall von PositiveInteger %n{nicht}
(domain protonNumber 2 PositiveInteger)	Mid-level-ontology.kif 21684-21684	Die Zahl 2 Argument von protonNumber ist ein fall von PositiveInteger %n{nicht}
(domain slidingWindowSize 2 PositiveInteger)	QoSontology.kif 1203-1203	Die Zahl 2 Argument von slidingWindowSize ist ein fall von PositiveInteger %n{nicht}
(domain valence 2 PositiveInteger)	Merge.kif 362-362	Die Zahl 2 Argument von valence ist ein fall von PositiveInteger %n{nicht}
(domain weaponCarryingCapability 3 PositiveInteger)	MilitaryDevices.kif 25-25	Die Zahl 3 Argument von weaponCarryingCapability ist ein fall von PositiveInteger %n{nicht}

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