TimeDuration(time duration) |
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 |