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 9038-9040
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9034-9034 overlaps spatially is an instance of reflexive relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 9035-9035 overlaps spatially is an instance of symmetric relation
(subrelation overlapsSpatially connected) Merge.kif 9033-9033 overlaps spatially is a subrelation of connected

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9027-9027 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 9036-9036
(termFormat ChineseLanguage overlapsSpatially "在空间上重叠") domainEnglishFormat.kif 43771-43771
(termFormat ChineseLanguage overlapsSpatially "重叠") chinese_format.kif 368-368
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") domainEnglishFormat.kif 43770-43770
(termFormat EnglishLanguage overlapsSpatially "overlaps spatially") domainEnglishFormat.kif 43769-43769

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


(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))
Merge.kif 9042-9047 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 9355-9360
(=>
    (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 9485-9490
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9347-9353
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9355-9360
(=>
    (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 2256-2269
(=>
    (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 2235-2246
(=>
    (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 1086-1107
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 3914-3918
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9057-9063
(=>
    (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 9049-9055
(=>
    (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 8979-8983
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 9529-9538
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9324-9327
(=>
    (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 9146-9152
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))
Geography.kif 723-725
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9090-9092

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


(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3382-3382 Africa and northern hemisphere is overlapsSpatially
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3383-3383 Africa and southern hemisphere is overlapsSpatially
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3399-3399 Antarctica and eastern hemisphere is overlapsSpatially
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3400-3400 Antarctica and western hemisphere is overlapsSpatially
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3443-3443 Arctic ocean and arctic region is overlapsSpatially
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3441-3441 Arctic region and eastern hemisphere is overlapsSpatially
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3442-3442 Arctic region and western hemisphere is overlapsSpatially
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3409-3409 Asia and northern hemisphere is overlapsSpatially
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3410-3410 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 3404-3404 Europe and eastern hemisphere is overlapsSpatially
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3405-3405 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