No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8831-8831 |
例 AfternoonFn and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7979-7979 |
例 開始 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8585-8585 |
例 天 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8007-8007 |
例 結束 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8931-8931 |
例 EveningFn and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8508-8508 |
例 未來 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 8525-8525 |
例 眼前的未來 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8494-8494 |
例 不久的過去 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8636-8636 |
例 分 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8568-8568 |
例 月 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8815-8815 |
例 MorningFn and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8476-8476 |
例 過去 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8965-8965 |
例 QuarterFn and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8441-8441 |
例 經常性時間間隔 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17227-17227 |
例 相對時間 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8663-8663 |
例 第二 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9370-9370 |
例 時間構成 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8409-8409 |
例 時間間隔 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8947-8947 |
例 WeekFn and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8465-8465 |
例 何時 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8552-8552 |
例 年 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24180-24180 |
例 週年 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8096-8096 |
例 之前 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8137-8137 |
例 之前或相等 and TemporalRelation |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |