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 instance overlapsSpatially and 反射関係
(instance overlapsSpatially SymmetricRelation) Merge.kif 9597-9597 instance overlapsSpatially and 対称関係
(subrelation overlapsSpatially connected) Merge.kif 9595-9595 subrelation overlapsSpatially and connected

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9588-9588 disjointRelation meetsSpatially and overlapsSpatially
(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 termFormat ChineseLanguage, overlapsSpatially and "重叠"
(termFormat EnglishLanguage overlapsSpatially "overlaps spatially") domainEnglishFormat.kif 7716-7716 termFormat EnglishLanguage, overlapsSpatially and "overlaps spatially"

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


(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))		 Merge.kif 9604-9609 overlapsSpatially オブジェクト and オブジェクト オブジェクト part オブジェクト and オブジェクト part オブジェクト and オブジェクト
(=>
    (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 overlapsSpatially Africa and NorthernHemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3370-3370 overlapsSpatially Africa and SouthernHemisphere
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3386-3386 overlapsSpatially Antarctica and EasternHemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3387-3387 overlapsSpatially Antarctica and WesternHemisphere
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3430-3430 overlapsSpatially ArcticOcean and ArcticRegion
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3428-3428 overlapsSpatially ArcticRegion and EasternHemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3429-3429 overlapsSpatially ArcticRegion and WesternHemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3396-3396 overlapsSpatially Asia and NorthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3397-3397 overlapsSpatially Asia and SouthernHemisphere
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 overlapsSpatially CaribbeanRegion and NorthAmerica
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 overlapsSpatially CaribbeanRegion and SouthAmerica
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 overlapsSpatially CentralAfrica and NorthernHemisphere
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 overlapsSpatially CentralAfrica and SouthernHemisphere
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 overlapsSpatially EasternAfrica and NorthernHemisphere
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 overlapsSpatially EasternAfrica and SouthernHemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 overlapsSpatially EasternSouthAmerica and NorthernHemisphere
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 overlapsSpatially EasternSouthAmerica and SouthernHemisphere
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3391-3391 overlapsSpatially Europe and EasternHemisphere
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3392-3392 overlapsSpatially Europe and WesternHemisphere
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 overlapsSpatially MiddleAmerica and NorthAmerica
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 overlapsSpatially MiddleAmerica and SouthAmerica
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 overlapsSpatially MiddleEastRegion and Asia
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 overlapsSpatially NorthernAfrica and EasternHemisphere
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195 overlapsSpatially NorthernAfrica and WesternHemisphere
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246 overlapsSpatially NorthernSouthAmerica and NorthernHemisphere

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