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 2636-2638 | |
(subclass SpatialRelation InheritableRelation) | Merge.kif 2634-2634 | 空间关系 是 可继承的关系 的 subclass |
(subclass SpatialRelation Relation) | Merge.kif 2633-2633 | 空间关系 是 关系 的 subclass |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2))) |
Merge.kif 8216-8221 |
![]() |
![]() |