No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 738-738	The number 3 argument of periodic payment is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Music.kif 114-114	The number 2 argument of recording length is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1775-1775	The number 2 argument of request rate is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1768-1768	The number 2 argument of response rate is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1755-1755	The number 2 argument of response time is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2155-2155	The number 2 argument of send rate is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 714-714	The number 2 argument of settling time is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1173-1173	The number 2 argument of simple deadline is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 922-922	The number 2 argument of heart beat rate is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 651-651	The number 2 argument of startup time delay is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1021-1021	The number 2 argument of suffrage age maximum is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 949-949	The number 2 argument of suffrage age minimum is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1678-1678	The number 3 argument of term length is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1230-1230	The number 2 argument of total precipitation for period is an instance of time duration

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