Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  overlapsSpatially

 Sigma KEE - overlapsSpatially
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 4039-4041
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") japanese_format.kif 1573-1575
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4035-4035
(instance overlapsSpatially SymmetricRelation) Merge.kif 4036-4036
(subrelation overlapsSpatially connected) Merge.kif 4034-4034

appearance as argument number 2
-------------------------


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9610-9610
(format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") chinese_format.kif 367-367
(format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially") Merge.kif 4037-4037
(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 43820-43820
(termFormat ChineseLanguage overlapsSpatially "重叠") chinese_format.kif 368-368
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") domainEnglishFormat.kif 43819-43819
(termFormat EnglishLanguage overlapsSpatially "overlap spatially") domainEnglishFormat.kif 43818-43818
(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 9947-9952
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))		 Geography.kif 3496-3501
(=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))		 Merge.kif 9616-9621

consequent
-------------------------


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 10068-10073
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 9939-9945
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 9947-9952
(=>
    (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 2475-2488
(=>
    (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 2454-2465
(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30.0)
            (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 1259-1280
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 4056-4060
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9637-9643
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))		 Mid-level-ontology.kif 13028-13033
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1075-1082
(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9629-9635
(=>
    (and
        (part ?OBJ3 ?OBJ1)
        (part ?OBJ3 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 9623-9627
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (overlapsSpatially ?E1 ?E2)))		 Mid-level-ontology.kif 1264-1271
(=>
    (coilCount ?WC ?N)
    (exists (?C ?C2F)
        (and
            (instance ?C Collection)
            (memberCount ?C ?N)
            (forall (?M)
                (=>
                    (member ?M ?C)
                    (and
                        (attribute ?M ?C2F)
                        (instance ?C2F ClosedTwoDimensionalFigure)
                        (part ?M ?WC)
                        (not
                            (exists (?M2)
                                (and
                                    (overlapsSpatially ?M2 ?M)
                                    (member ?M2 ?C))))))))))		 Cars.kif 3101-3118
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9545-9549
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))		 Merge.kif 10122-10129
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))		 Merge.kif 10112-10120
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))		 Merge.kif 9916-9919
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))		 Mid-level-ontology.kif 9834-9841
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))		 Geography.kif 6096-6102
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))		 Mid-level-ontology.kif 11209-11216
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))		 Geography.kif 5202-5207
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))		 Geography.kif 4146-4152
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))		 Merge.kif 9735-9741
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))		 Geography.kif 724-726

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3523-3523
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3524-3524
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3540-3540
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3541-3541
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3584-3584
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3582-3582
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3583-3583
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3550-3550
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3551-3551
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3545-3545
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3546-3546
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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