PositiveInteger

-------------------------


(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