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