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 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。") 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 9517-9519
(instance overlapsSpatially ReflexiveRelation) Merge.kif 9513-9513 重叠自反关系instance
(instance overlapsSpatially SymmetricRelation) Merge.kif 9514-9514 重叠对称关系instance
(subrelation overlapsSpatially connected) Merge.kif 9512-9512 重叠相连subrelation

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9506-9506 接触重叠disjoint 关系
(format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") chinese_format.kif 367-367
(format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially") Merge.kif 9515-9515
(termFormat ChineseLanguage overlapsSpatially "在空间上重叠") domainEnglishFormat.kif 43766-43766
(termFormat ChineseLanguage overlapsSpatially "重叠") chinese_format.kif 368-368
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") domainEnglishFormat.kif 43765-43765
(termFormat EnglishLanguage overlapsSpatially "overlap spatially") domainEnglishFormat.kif 43764-43764

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


(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9857-9862
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))
Geography.kif 3429-3434
(=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))
Merge.kif 9521-9526

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


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9987-9992
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9849-9855
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9857-9862
(=>
    (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 2492-2505
(=>
    (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 2471-2482
(=>
    (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 1275-1296
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 3996-4000
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9542-9548
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 12657-12662
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))
Geography.kif 1082-1089
(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9534-9540
(=>
    (and
        (part ?OBJ3 ?OBJ1)
        (part ?OBJ3 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9528-9532
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (overlapsSpatially ?E1 ?E2)))
Mid-level-ontology.kif 1238-1245
(=>
    (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 9446-9450
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 10031-10040
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9826-9829
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 9572-9579
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))
Geography.kif 6004-6010
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 10857-10864
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 5111-5116
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 4079-4085
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9640-9646
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))
Geography.kif 731-733
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9584-9586

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 3456-3456 非洲北半球 重叠
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3457-3457 非洲南半球 重叠
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3473-3473 南极洲东半球 重叠
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3474-3474 南极洲西半球 重叠
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3517-3517 北冰洋北极地区 重叠
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3515-3515 北极地区东半球 重叠
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3516-3516 北极地区西半球 重叠
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3483-3483 亚洲北半球 重叠
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3484-3484 亚洲南半球 重叠
(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 3478-3478 欧洲东半球 重叠
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3479-3479 欧洲西半球 重叠
(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 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 3.0 is open source software produced by Articulate Software and its partners