No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 738-738 |
定期付款 的 3 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 114-114 |
recordingLength 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1775-1775 |
请求率 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1768-1768 |
反应速度 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1755-1755 |
反应时间 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2155-2155 |
发送率 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 714-714 |
安顿时间 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1173-1173 |
简单的截止日期 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 922-922 |
心跳率 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 651-651 |
启动时间延迟 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1021-1021 |
选举年龄最大值 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 949-949 |
最低年龄 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1678-1678 |
期限长度 的 3 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1226-1226 |
期间总降水量 的 2 数量 是 持续时间 的 instance |