No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 738-738	域 定期付款, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Music.kif 114-114	域 recordingLength, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1775-1775	域 請求率, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1768-1768	域 反應速度, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1755-1755	域 反應時間, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2155-2155	域 發送率, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 714-714	域 安頓時間, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1173-1173	域 簡單的截止日期, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 922-922	域 心跳率, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 651-651	域 啟動時間延遲, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1021-1021	域 選舉年齡最大值, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Government.kif 949-949	域 最低年齡, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1678-1678	域 期限長度, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1226-1226	域 期間總降水量, 2 and TimeDuration

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