|
|
   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 2702-2704 | |
| (documentation TemporalRelation JapaneseLanguage "時間的な Relation の Class この Class は、間隔の(時間的な)トポロジ、(時間的)スケマタ、および(時間的)拡張の概念を含む。") | japanese_format.kif 545-546 | |
| (subclass TemporalRelation InheritableRelation) | Merge.kif 2700-2700 | Temporal relation is a subclass of inheritable relation |
| (subclass TemporalRelation Relation) | Merge.kif 2699-2699 | Temporal relation is a subclass of relation |
| appearance as argument number 2 |
|
|
|
|
|