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 4057-4059
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") japanese_format.kif 1573-1575
(domain overlapsSpatially 1 Object) Merge.kif 4050-4050 The number 1 argument of overlap spatially is an instance of object
(domain overlapsSpatially 2 Object) Merge.kif 4051-4051 The number 2 argument of overlap spatially is an instance of object
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4053-4053 overlap spatially is an instance of reflexive relation
(instance overlapsSpatially SymmetricRelation) Merge.kif 4054-4054 overlap spatially is an instance of symmetric relation
(subrelation overlapsSpatially connected) Merge.kif 4049-4049 overlap spatially is a subrelation of connected

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9710-9710 meets spatially and overlap spatially are disjoint
(format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") chinese_format.kif 367-367 meets spatially and overlap spatially are disjoint
(format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially") Merge.kif 4055-4055 meets spatially and overlap spatially are disjoint
(format FrenchLanguage overlapsSpatially "%1 %n{ne} recouvre %n{pas} %2") french_format.kif 212-212 meets spatially and overlap spatially are disjoint
(format ItalianLanguage overlapsSpatially "%1 %n{non} si sovrappone%p{s} a %2") relations-it.txt 207-207 meets spatially and overlap spatially are disjoint
(format PortugueseLanguage overlapsSpatially "%1 %n{nao} engloba %n %2") portuguese_format.kif 164-164 meets spatially and overlap spatially are disjoint
(format cz overlapsSpatially "%1 se %n{ne}p�ekr�v� s %2") relations-cz.txt 219-219 meets spatially and overlap spatially are disjoint
(format de overlapsSpatially "%1 deckt sich mit %2 raeumlich %n{nicht}") relations-de.txt 489-489 meets spatially and overlap spatially are disjoint
(format hi overlapsSpatially "%1 %2 se ativyaapta %n{nahiin} hai") relations-hindi.txt 245-245 meets spatially and overlap spatially are disjoint
(format ro overlapsSpatially "%1 %n{nu} overlap%t{se suprapune} cu %2") relations-ro.kif 232-232 meets spatially and overlap spatially are disjoint
(format sv overlapsSpatially "%1 överlappar %n{inte} med %2") relations-sv.txt 229-229 meets spatially and overlap spatially are disjoint
(format tg overlapsSpatially "%1 %n ay natataklob sa %2") relations-tg.txt 396-396 meets spatially and overlap spatially are disjoint
(termFormat ChineseLanguage overlapsSpatially "在空间上重叠") domainEnglishFormat.kif 43784-43784 meets spatially and overlap spatially are disjoint
(termFormat ChineseLanguage overlapsSpatially "重叠") chinese_format.kif 368-368 meets spatially and overlap spatially are disjoint
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") domainEnglishFormat.kif 43783-43783 meets spatially and overlap spatially are disjoint
(termFormat EnglishLanguage overlapsSpatially "overlap spatially") domainEnglishFormat.kif 43782-43782 meets spatially and overlap spatially are disjoint
(termFormat de overlapsSpatially "decktSichRaeumlich") terms-de.txt 152-152 meets spatially and overlap spatially are disjoint
(termFormat tg overlapsSpatially "natataklob") relations-tg.txt 397-397 meets spatially and overlap spatially are disjoint

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


(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 10049-10054
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))
Geography.kif 3654-3659
(=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))
Merge.kif 9716-9721

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


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 10172-10177
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 10041-10047
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 10049-10054
(=>
    (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 3216-3229
(=>
    (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 3195-3206
(=>
    (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 1991-2012
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 4074-4078
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?O Artifact)
        (result ?P ?O))
    (exists (?A ?X ?B ?Y)
        (and
            (instance ?A Making)
            (subProcess ?A ?P)
            (instance ?X SelfConnectedObject)
            (part ?X ?O)
            (result ?A ?X)
            (instance ?B Making)
            (subProcess ?B ?P)
            (instance ?Y SelfConnectedObject)
            (part ?Y ?O)
            (overlapsSpatially ?X ?Y)
            (orientation ?X ?Y Below)
            (during
                (WhenFn ?A)
                (WhenFn ?P))
            (during
                (WhenFn ?B)
                (WhenFn ?P))
            (earlier
                (WhenFn ?A)
                (WhenFn ?B)))))
QoSontology.kif 537-563
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9737-9743
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 14141-14146
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))
Geography.kif 1239-1246
(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9729-9735
(=>
    (and
        (part ?OBJ3 ?OBJ1)
        (part ?OBJ3 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9723-9727
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (overlapsSpatially ?E1 ?E2)))
Mid-level-ontology.kif 1488-1495
(=>
    (coilCount ?WC ?N)
    (exists (?C ?C2F)
        (and
            (instance ?C Collection)
            (memberCount ?C ?N)
            (forall (?M)
                (=>
                    (member ?M ?C)
                    (and
                        (attribute ?M ?C2F)
                        (instance ?C2F ClosedTwoDimensionalFigure)
                        (part ?M ?WC)
                        (not
                            (exists (?M2)
                                (and
                                    (overlapsSpatially ?M2 ?M)
                                    (member ?M2 ?C))))))))))
Cars.kif 3177-3194
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9645-9649
(=>
    (equal ?B
        (BackFn ?O))
    (not
        (overlapsSpatially ?B
            (FrontFn ?O))))
Merge.kif 915-920
(=>
    (equal ?F
        (FrontFn ?O))
    (not
        (overlapsSpatially ?F
            (BackFn ?O))))
Merge.kif 908-913
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))
Merge.kif 10226-10233
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))
Merge.kif 10216-10224
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 10018-10021
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 10945-10952
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))
Geography.kif 6399-6405
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 12322-12329
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 5493-5498

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 3681-3681 Africa and northern hemisphere overlapsSpatially
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3682-3682 Africa and southern hemisphere overlapsSpatially
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3698-3698 Antarctica and eastern hemisphere overlapsSpatially
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3699-3699 Antarctica and western hemisphere overlapsSpatially
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3742-3742 Arctic ocean and arctic region overlapsSpatially
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3740-3740 Arctic region and eastern hemisphere overlapsSpatially
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3741-3741 Arctic region and western hemisphere overlapsSpatially
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3708-3708 Asia and northern hemisphere overlapsSpatially
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3709-3709 Asia and southern hemisphere overlapsSpatially
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 Caribbean region and north america overlapsSpatially
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 Caribbean region and south america overlapsSpatially
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 Central africa and northern hemisphere overlapsSpatially
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 Central africa and southern hemisphere overlapsSpatially
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 Eastern africa and northern hemisphere overlapsSpatially
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 Eastern africa and southern hemisphere overlapsSpatially
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 Eastern south america and northern hemisphere overlapsSpatially
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 Eastern south america and southern hemisphere overlapsSpatially
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3703-3703 Europe and eastern hemisphere overlapsSpatially
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3704-3704 Europe and western hemisphere overlapsSpatially
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 Middle america and north america overlapsSpatially
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 Middle america and south america overlapsSpatially
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 Middle east region and asia overlapsSpatially
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 Northern africa and eastern hemisphere overlapsSpatially
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195 Northern africa and western hemisphere overlapsSpatially
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246 Northern south america and northern hemisphere overlapsSpatially

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