| TemporalRelation | |
| appearance as argument number 1 |
|
|
| (documentation TemporalRelation ChineseLanguage "这是时间 Relation 的 Class，这个 Class 包括间隔拓扑的(时间)概念、(时间)模式和(时间)延伸。") | chinese_format.kif 1918-1919 | |
| (documentation TemporalRelation EnglishLanguage "The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension.") | Merge.kif 2567-2569 | |
| (subclass TemporalRelation InheritableRelation) | Merge.kif 2565-2565 | |
| (subclass TemporalRelation Relation) | Merge.kif 2564-2564 |
| appearance as argument number 2 |
|
|
|
|
|