No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 742-742	域 最大的複制, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 721-721	域 最小重複, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1016-1016	域 CPU的數量, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Dining.kif 729-729	域 numberOfCustomers, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5913-5913	域 路徑長度, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 72-72	域 人員運輸能力, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 769-769	域 端口號, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 777-777	域 過程ID, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21684-21684	域 質子數, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1203-1203	域 滑動窗口尺寸, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 362-362	域 價, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 25-25	域 武器攜帶能力, 3 and PositiveInteger

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