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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsSpatially
overlapsSpatially

appearance as argument number 1
-------------------------


(documentation overlapsSpatially ChineseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2)的意思是 Objects ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。") Merge.kif 9601-9602
(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 9598-9600
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9596-9596 overlaps spatially is an instance of reflexive relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 9597-9597 overlaps spatially is an instance of symmetric relation
(subrelation overlapsSpatially connected) Merge.kif 9595-9595 overlaps spatially is a subrelation of connected

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9588-9588 meets spatially and overlaps spatially are disjoint
(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
(termFormat ChineseLanguage overlapsSpatially "重叠") chinese_format.kif 368-368 "重叠" is the printable form of overlaps spatially in ChineseLanguage
(termFormat EnglishLanguage overlapsSpatially "overlaps spatially") domainEnglishFormat.kif 7716-7716 "overlaps spatially" is the printable form of overlaps spatially in english language

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


(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))
Merge.kif 9604-9609 An object overlaps with another object 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 9937-9942
(=>
    (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 10091-10096
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9929-9935
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9937-9942
(=>
    (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 4179-4183
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9619-9625
(=>
    (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 9611-9617
(=>
    (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 9539-9543
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 10137-10146
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9906-9909
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))
Geography.kif 5677-5683
(=>
    (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 4866-4871
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 3920-3926
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9714-9720
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))
Geography.kif 716-718
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9652-9654

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


(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3369-3369 Africa overlaps with northern hemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3370-3370 Africa overlaps with southern hemisphere
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3386-3386 Antarctica overlaps with eastern hemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3387-3387 Antarctica overlaps with western hemisphere
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3430-3430 Arctic ocean overlaps with arctic region
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3428-3428 Arctic region overlaps with eastern hemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3429-3429 Arctic region overlaps with western hemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3396-3396 Asia overlaps with northern hemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3397-3397 Asia overlaps with southern hemisphere
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 Caribbean region overlaps with north america
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 Caribbean region overlaps with south america
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 Central africa overlaps with northern hemisphere
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 Central africa overlaps with southern hemisphere
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 Eastern africa overlaps with northern hemisphere
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 Eastern africa overlaps with southern hemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 Eastern south america overlaps with northern hemisphere
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 Eastern south america overlaps with southern hemisphere
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3391-3391 Europe overlaps with eastern hemisphere
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3392-3392 Europe overlaps with western hemisphere
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 Middle america overlaps with north america
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 Middle america overlaps with south america
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 Middle east region overlaps with asia
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 Northern africa overlaps with eastern hemisphere
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195 Northern africa overlaps with western hemisphere
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246 Northern south america overlaps with northern hemisphere

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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