| SpatialRelation(空間的関係) | |
| appearance as argument number 1 |
|
|
| (documentation SpatialRelation ChineseLanguage "这是一个广义的空间 Relation Class，这个 Class 包括分体论关系和拓扑关系。") | chinese_format.kif 1916-1917 | |
| (documentation SpatialRelation EnglishLanguage "The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.") | Merge.kif 2670-2672 | |
| (documentation SpatialRelation JapaneseLanguage " Relation の Class は、広い意味で空間的 である。この Class には、単なる関係とトポロジ的な関係が含まれる。") | japanese_format.kif 543-544 | |
| (subclass SpatialRelation InheritableRelation) | Merge.kif 2668-2668 | 空間的関係 は InheritableRelation の subclass では |
| (subclass SpatialRelation Relation) | Merge.kif 2667-2667 | 空間的関係 は 関係 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (instance ?OBJ1 Physical) (instance ?OBJ2 Physical) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2))) |
Merge.kif 8362-8369 |
|
|
|