(domain maximumReplications 2 PositiveInteger)	QoSontology.kif 742-742	最大的复制 的 2 数量 是 正整数 的 instance
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 721-721	最小重复 的 2 数量 是 正整数 的 instance
(domain numberOfCPUs 2 PositiveInteger)	QoSontology.kif 1016-1016	CPU的数量 的 2 数量 是 正整数 的 instance
(domain numberOfCustomers 1 PositiveInteger)	Dining.kif 729-729	numberOfCustomers 的 1 数量 是 正整数 的 instance
(domain pathLength 2 PositiveInteger)	Merge.kif 5913-5913	路径长度 的 2 数量 是 正整数 的 instance
(domain personTransportCapability 2 PositiveInteger)	MilitaryDevices.kif 72-72	人员运输能力 的 2 数量 是 正整数 的 instance
(domain portNumber 2 PositiveInteger)	QoSontology.kif 769-769	端口号 的 2 数量 是 正整数 的 instance
(domain processID 2 PositiveInteger)	QoSontology.kif 777-777	过程ID 的 2 数量 是 正整数 的 instance
(domain protonNumber 2 PositiveInteger)	Mid-level-ontology.kif 21684-21684	质子数 的 2 数量 是 正整数 的 instance
(domain slidingWindowSize 2 PositiveInteger)	QoSontology.kif 1203-1203	滑动窗口尺寸 的 2 数量 是 正整数 的 instance
(domain valence 2 PositiveInteger)	Merge.kif 362-362	配价 的 2 数量 是 正整数 的 instance
(domain weaponCarryingCapability 3 PositiveInteger)	MilitaryDevices.kif 25-25	武器携带能力 的 3 数量 是 正整数 的 instance

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