|
| (domain minimumReplications 2 PositiveInteger) | QoSontology.kif 719-719 | |
| (domain numberOfCPUs 2 PositiveInteger) | QoSontology.kif 1014-1014 | |
| (domain numberOfCustomers 1 PositiveInteger) | Dining.kif 683-683 | |
| (domain pathLength 2 PositiveInteger) | Merge.kif 5558-5558 | |
| (domain personTransportCapability 2 PositiveInteger) | MilitaryDevices.kif 72-72 | |
| (domain portNumber 2 PositiveInteger) | QoSontology.kif 767-767 | |
| (domain processID 2 PositiveInteger) | QoSontology.kif 775-775 | |
| (domain protonNumber 2 PositiveInteger) | Mid-level-ontology.kif 19489-19489 | |
| (domain slidingWindowSize 2 PositiveInteger) | QoSontology.kif 1208-1208 | |
| (domain valence 2 PositiveInteger) | Merge.kif 361-361 | |
| (domain weaponCarryingCapability 3 PositiveInteger) | MilitaryDevices.kif 25-25 | |
| (domainSubclass agriculturalProductTypeByRank 3 PositiveInteger) | Economy.kif 2247-2247 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners