overlapsSpatially |
appearance as argument number 1 |
![]() |
(documentation overlapsSpatially ChineseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2)的意思是 Objects ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。") | chinese_format.kif 2830-2831 | |
(documentation overlapsSpatially EnglishLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.") | Merge.kif 4034-4036 | |
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") | japanese_format.kif 1573-1575 | |
(instance overlapsSpatially ReflexiveRelation) | Merge.kif 4030-4030 | overlapsSpatially est une instance de relation r�flexive |
(instance overlapsSpatially SymmetricRelation) | Merge.kif 4031-4031 | overlapsSpatially est une instance de relation sym�trique |
(subrelation overlapsSpatially connected) | Merge.kif 4029-4029 | overlapsSpatially est une sous-relation de connected |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 10004-10009 |
|
(=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3484-3489 | |
(=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 9673-9678 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |