|
|
   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 2659-2661 | |
| (documentation SpatialRelation JapaneseLanguage " Relation の Class は、広い意味で空間的 である。この Class には、単なる関係とトポロジ的な関係が含まれる。") | japanese_format.kif 543-544 | |
| (subclass SpatialRelation InheritableRelation) | Merge.kif 2657-2657 | Relation spatial est une sous-classe de InheritableRelation |
| (subclass SpatialRelation Relation) | Merge.kif 2656-2656 | Relation spatial est une sous-classe de relation |
| 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 8299-8306 |
|
|
|