No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8831-8831 |
AfternoonFn 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7979-7979 |
开始函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8585-8585 |
日函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8007-8007 |
结束函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8931-8931 |
EveningFn 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8508-8508 |
未来函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8610-8610 |
时函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8525-8525 |
紧接未来函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8494-8494 |
紧接过去函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8636-8636 |
分函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8568-8568 |
月函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8815-8815 |
MorningFn 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8476-8476 |
过去函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8965-8965 |
QuarterFn 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8441-8441 |
重复发生时间函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17227-17227 |
相对时间函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8663-8663 |
秒函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9370-9370 |
时间分拆函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8409-8409 |
时段函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8947-8947 |
WeekFn 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8465-8465 |
何时函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8552-8552 |
年函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24180-24180 |
周年 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8096-8096 |
之前 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8137-8137 |
之前或同时 是 时间关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |