| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8873-8873 |
例 AfternoonFn and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8021-8021 |
例 開始 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8627-8627 |
例 天 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8049-8049 |
例 結束 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8973-8973 |
例 EveningFn and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8550-8550 |
例 未來 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8652-8652 |
例 小時 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8567-8567 |
例 眼前的未來 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8536-8536 |
例 不久的過去 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8678-8678 |
例 分 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8610-8610 |
例 月 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8857-8857 |
例 MorningFn and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8518-8518 |
例 過去 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9007-9007 |
例 QuarterFn and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8483-8483 |
例 經常性時間間隔 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17323-17323 |
例 相對時間 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8705-8705 |
例 第二 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9435-9435 |
例 時間構成 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8451-8451 |
例 時間間隔 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8989-8989 |
例 WeekFn and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8507-8507 |
例 何時 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8594-8594 |
例 年 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25299-25299 |
例 週年 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8138-8138 |
例 之前 and TemporalRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8179-8179 |
例 之前或相等 and TemporalRelation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
