| appearance as argument number 1 |
|
| (documentation overlapsSpatially ChineseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2)的意思是 Objects ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。") | Merge.kif 9546-9547 | |
| (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 9543-9545 | |
| (instance overlapsSpatially ReflexiveRelation) | Merge.kif 9541-9541 | |
| (instance overlapsSpatially SymmetricRelation) | Merge.kif 9542-9542 | |
| (subrelation overlapsSpatially connected) | Merge.kif 9540-9540 |
| appearance as argument number 2 |
|
|
| (disjointRelation meetsSpatially overlapsSpatially) | Merge.kif 9533-9533 | |
| (format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") | chinese_format.kif 367-367 | |
| (format EnglishLanguage overlapsSpatially "%1 %n{doesn't} overlap%p{s} with %2") | english_format.kif 222-222 | |
| (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 ar overlapsSpatially "%1 %n{لا} يَتَدَاخَل مَعَ %2") | arabic_format.kif 151-151 | |
| (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 tg overlapsSpatially "%1 %n ay natataklob sa %2") | relations-tg.txt 396-396 | |
| (termFormat ChineseLanguage overlapsSpatially "重叠") | chinese_format.kif 368-368 | |
| (termFormat EnglishLanguage overlapsSpatially "overlaps spatially") | domainEnglishFormat.kif 7716-7716 | |
| (termFormat ar overlapsSpatially "«يَتَدَاخَل مَعَ»") | arabic_format.kif 601-601 | |
| (termFormat tg overlapsSpatially "natataklob") | relations-tg.txt 397-397 |
| antecedent |
|
|
| (<=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 9549-9554 | |
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9879-9884 | |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3342-3347 |
| consequent |
|
|
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10033-10038 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9871-9877 | |
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9879-9884 | |
| (=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL))))) |
Weather.kif 908-919 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4166-4170 | |
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9564-9570 | |
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 10458-10462 | |
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?nation)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1061-1068 | |
| (=> (and (member ?OBJ1 ?COLL) (member ?OBJ2 ?COLL) (not (equal ?OBJ1 ?OBJ2))) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9556-9562 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1661-1668 | |
| (=> (coilCount ?WC ?N) (exists (?C) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3088-3104 | |
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9484-9488 | |
| (=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))) |
Merge.kif 10079-10088 | |
| (=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 9848-9851 | |
| (=> (instance ?SHELF ContinentalShelf) (exists (?MARGIN) (and (instance ?MARGIN ContinentalMargin) (properPart ?SHELF ?MARGIN) (overlapsSpatially ?SHELF ?MARGIN)))) |
Geography.kif 5678-5684 | |
| (=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 9437-9444 | |
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?ESTUARY)))) |
Geography.kif 4867-4872 | |
| (=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 3921-3927 | |
| (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 9656-9662 | |
| (=> (meetsSpatially ?AREA1 ?AREA2) (not (overlapsSpatially ?AREA1 ?AREA2))) |
Geography.kif 716-718 | |
| (=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9597-9599 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners