| 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 9026-9028 | |
| (instance overlapsSpatially ReflexiveRelation) | Merge.kif 9022-9022 | |
| (instance overlapsSpatially SymmetricRelation) | Merge.kif 9023-9023 | |
| (subrelation overlapsSpatially connected) | Merge.kif 9021-9021 |
| appearance as argument number 2 |
|
|
| (disjointRelation meetsSpatially overlapsSpatially) | Merge.kif 9015-9015 | |
| (format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") | chinese_format.kif 367-367 | |
| (format EnglishLanguage overlapsSpatially "%1 and %2 is %n overlapsSpatially") | Merge.kif 9024-9024 | |
| (termFormat ChineseLanguage overlapsSpatially "在空间上重叠") | domainEnglishFormat.kif 43705-43705 | |
| (termFormat ChineseLanguage overlapsSpatially "重叠") | chinese_format.kif 368-368 | |
| (termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") | domainEnglishFormat.kif 43704-43704 | |
| (termFormat EnglishLanguage overlapsSpatially "overlaps spatially") | domainEnglishFormat.kif 43703-43703 |
| antecedent |
|
|
| (<=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 9030-9035 | |
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9343-9348 | |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3355-3360 |
| consequent |
|
|
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9473-9478 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9335-9341 | |
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9343-9348 | |
| (=> (and (instance ?DESERTIFICATION Desertification) (eventLocated ?DESERTIFICATION ?AREA)) (exists (?A1 ?A2) (and (instance ?A1 ArableLand) (instance ?A2 Desert) (holdsDuring (BeginFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A1)) (holdsDuring (EndFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A2))))) |
Weather.kif 1388-1401 | |
| (=> (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 1367-1378 | |
| (=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2))))) |
Weather.kif 897-918 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 3908-3912 | |
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9045-9051 | |
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 10488-10492 | |
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1073-1080 | |
| (=> (and (member ?OBJ1 ?COLL) (member ?OBJ2 ?COLL) (not (equal ?OBJ1 ?OBJ2))) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9037-9043 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1662-1669 | |
| (=> (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 3092-3108 | |
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 8967-8971 | |
| (=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))) |
Merge.kif 9517-9526 | |
| (=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 9312-9315 | |
| (=> (instance ?SHELF ContinentalShelf) (exists (?MARGIN) (and (instance ?MARGIN ContinentalMargin) (properPart ?SHELF ?MARGIN) (overlapsSpatially ?SHELF ?MARGIN)))) |
Geography.kif 5785-5791 | |
| (=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 9421-9428 | |
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 4895-4900 | |
| (=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 3933-3939 | |
| (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 9134-9140 | |
| (=> (meetsSpatially ?AREA1 ?AREA2) (not (overlapsSpatially ?AREA1 ?AREA2))) |
Geography.kif 723-725 | |
| (=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9078-9080 |
| 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 3.0 is open source software produced by Articulate Software and its partners