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 9229-9231
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9225-9225 overlaps spatially is an instance of reflexive relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 9226-9226 overlaps spatially is an instance of symmetric relation
(subrelation overlapsSpatially connected) Merge.kif 9224-9224 overlaps spatially is a subrelation of connected

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9218-9218 meets spatially and overlaps spatially are disjoint
(format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") chinese_format.kif 367-367
(format EnglishLanguage overlapsSpatially "%1 and %2 is %n overlapsSpatially") Merge.kif 9227-9227
(termFormat ChineseLanguage overlapsSpatially "在空间上重叠") domainEnglishFormat.kif 43759-43759
(termFormat ChineseLanguage overlapsSpatially "重叠") chinese_format.kif 368-368
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") domainEnglishFormat.kif 43758-43758
(termFormat EnglishLanguage overlapsSpatially "overlaps spatially") domainEnglishFormat.kif 43757-43757

antecedent
-------------------------


(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))
Merge.kif 9233-9238 An object and another object is overlapsSpatially if and only if there exists a third object such that the third object is a part of the object and the third object is a part of the other object
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9546-9551
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))
Geography.kif 3401-3406

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


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9676-9681
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9538-9544
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9546-9551
(=>
    (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 2487-2500
(=>
    (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 2466-2477
(=>
    (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)
            (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 1275-1296
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 3923-3927
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9248-9254
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 12244-12249
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))
Geography.kif 1074-1081
(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9240-9246
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (overlapsSpatially ?E1 ?E2)))
Mid-level-ontology.kif 1209-1216
(=>
    (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 3117-3133
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9170-9174
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 9720-9729
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9515-9518
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 9186-9193
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))
Geography.kif 5903-5909
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 10468-10475
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 5011-5016
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 4008-4014
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9337-9343
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))
Geography.kif 723-725
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9281-9283

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


(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3428-3428 Africa and northern hemisphere is overlapsSpatially
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3429-3429 Africa and southern hemisphere is overlapsSpatially
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3445-3445 Antarctica and eastern hemisphere is overlapsSpatially
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3446-3446 Antarctica and western hemisphere is overlapsSpatially
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3489-3489 Arctic ocean and arctic region is overlapsSpatially
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3487-3487 Arctic region and eastern hemisphere is overlapsSpatially
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3488-3488 Arctic region and western hemisphere is overlapsSpatially
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3455-3455 Asia and northern hemisphere is overlapsSpatially
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3456-3456 Asia and southern hemisphere is overlapsSpatially
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 Caribbean region and north america is overlapsSpatially
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 Caribbean region and south america is overlapsSpatially
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 Central africa and northern hemisphere is overlapsSpatially
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 Central africa and southern hemisphere is overlapsSpatially
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 Eastern africa and northern hemisphere is overlapsSpatially
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 Eastern africa and southern hemisphere is overlapsSpatially
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 Eastern south america and northern hemisphere is overlapsSpatially
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 Eastern south america and southern hemisphere is overlapsSpatially
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3450-3450 Europe and eastern hemisphere is overlapsSpatially
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3451-3451 Europe and western hemisphere is overlapsSpatially
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 Middle america and north america is overlapsSpatially
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 Middle america and south america is overlapsSpatially
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 Middle east region and asia is overlapsSpatially
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 Northern africa and eastern hemisphere is overlapsSpatially
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195 Northern africa and western hemisphere is overlapsSpatially
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246 Northern south america and northern hemisphere is overlapsSpatially

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