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 | |
(subclass SpatialRelation Relation) | Merge.kif 2656-2656 |
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 8285-8292 |