No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8511-8511 |
未来函数 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8528-8528 |
紧接未来函数 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8497-8497 |
紧接过去函数 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8479-8479 |
过去函数 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17229-17229 |
相对时间函数 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14809-14809 |
WeekAfterFn 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14816-14816 |
WeekBeforeFn 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 651-651 |
到期金额 的 3 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3030-3030 |
在钱 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3369-3369 |
补偿方案 的 3 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 897-897 |
组件数据ID 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 18-18 |
被拘留的时间到位 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3881-3881 |
在这段时间为真 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 630-630 |
在该地区度假 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2997-2997 |
在钱 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23300-23300 |
位于时间 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22701-22701 |
当时的组员 的 3 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 973-973 |
监控应用数据 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 948-948 |
监控组件数据 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 967-967 |
监控连接数据 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 33-33 |
在适当的时候观察 的 3 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3046-3046 |
没钱了 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23273-23273 |
在类型的事件中发挥作用 的 4 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1525-1525 |
有效波高 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7932-7932 |
时间部分 的 1 数量 是 时间位置 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |