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 4025-4027 | |
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") | japanese_format.kif 1573-1575 | |
(instance overlapsSpatially ReflexiveRelation) | Merge.kif 4021-4021 | overlapsSpatially は 反射関係 の instance では %n |
(instance overlapsSpatially SymmetricRelation) | Merge.kif 4022-4022 | overlapsSpatially は 対称関係 の instance では %n |
(subrelation overlapsSpatially connected) | Merge.kif 4020-4020 | overlapsSpatially は connected の subrelation では %n |
appearance as argument number 2 |
![]() |
(disjointRelation meetsSpatially overlapsSpatially) | Merge.kif 9558-9558 | meetsSpatially と overlapsSpatially は disjoint では %n |
(format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") | chinese_format.kif 367-367 | |
(format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially") | Merge.kif 4023-4023 | |
(format FrenchLanguage overlapsSpatially "%1 %n{ne} recouvre %n{pas} %2") | french_format.kif 212-212 | |
(format ItalianLanguage overlapsSpatially "%1 %n{non} si sovrappone%p{s} a %2") | relations-it.txt 207-207 | |
(format PortugueseLanguage overlapsSpatially "%1 %n{nao} engloba %n %2") | portuguese_format.kif 164-164 | |
(format cz overlapsSpatially "%1 se %n{ne}p�ekr�v� s %2") | relations-cz.txt 219-219 | |
(format de overlapsSpatially "%1 deckt sich mit %2 raeumlich %n{nicht}") | relations-de.txt 489-489 | |
(format hi overlapsSpatially "%1 %2 se ativyaapta %n{nahiin} hai") | relations-hindi.txt 245-245 | |
(format ro overlapsSpatially "%1 %n{nu} overlap%t{se suprapune} cu %2") | relations-ro.kif 232-232 | |
(format sv overlapsSpatially "%1 överlappar %n{inte} med %2") | relations-sv.txt 229-229 | |
(format tg overlapsSpatially "%1 %n ay natataklob sa %2") | relations-tg.txt 396-396 | |
(termFormat ChineseLanguage overlapsSpatially "在空间上重叠") | domainEnglishFormat.kif 43797-43797 | |
(termFormat ChineseLanguage overlapsSpatially "重叠") | chinese_format.kif 368-368 | |
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") | domainEnglishFormat.kif 43796-43796 | |
(termFormat EnglishLanguage overlapsSpatially "overlap spatially") | domainEnglishFormat.kif 43795-43795 | |
(termFormat tg overlapsSpatially "natataklob") | relations-tg.txt 397-397 |
antecedent |
![]() |
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9895-9900 |
|
(=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3422-3427 | |
(=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 9564-9569 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |