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 4034-4036
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") japanese_format.kif 1573-1575
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4030-4030 overlapsSpatially est une instance de relation r�flexive
(instance overlapsSpatially SymmetricRelation) Merge.kif 4031-4031 overlapsSpatially est une instance de relation sym�trique
(subrelation overlapsSpatially connected) Merge.kif 4029-4029 overlapsSpatially est une sous-relation de connected

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


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

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


(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 10004-10009
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))		 Geography.kif 3484-3489
(=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))		 Merge.kif 9673-9678

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


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 10127-10132
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 9996-10002
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 10004-10009
(=>
    (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 2474-2487
(=>
    (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 2453-2464
(=>
    (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 1259-1280
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 4051-4055
(=>
    (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 536-562
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9694-9700
(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))		 Mid-level-ontology.kif 14159-14164
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1069-1076
(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9686-9692
(=>
    (and
        (part ?OBJ3 ?OBJ1)
        (part ?OBJ3 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 9680-9684
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (overlapsSpatially ?E1 ?E2)))		 Mid-level-ontology.kif 1494-1501
(=>
    (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 9602-9606
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))		 Merge.kif 10181-10188
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))		 Merge.kif 10171-10179
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))		 Merge.kif 9973-9976
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))		 Mid-level-ontology.kif 10965-10972
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))		 Geography.kif 6165-6171
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))		 Mid-level-ontology.kif 12340-12347
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))		 Geography.kif 5271-5276
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))		 Geography.kif 4215-4221
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))		 Merge.kif 9792-9798

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 3511-3511 Africa recouvre NorthernHemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3512-3512 Africa recouvre SouthernHemisphere
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3528-3528 Antarctica recouvre EasternHemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3529-3529 Antarctica recouvre WesternHemisphere
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3572-3572 ArcticOcean recouvre ArcticRegion
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3570-3570 ArcticRegion recouvre EasternHemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3571-3571 ArcticRegion recouvre WesternHemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3538-3538 Asia recouvre NorthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3539-3539 Asia recouvre SouthernHemisphere
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 CaribbeanRegion recouvre NorthAmerica
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 CaribbeanRegion recouvre SouthAmerica
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 CentralAfrica recouvre NorthernHemisphere
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 CentralAfrica recouvre SouthernHemisphere
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 EasternAfrica recouvre NorthernHemisphere
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 EasternAfrica recouvre SouthernHemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 EasternSouthAmerica recouvre NorthernHemisphere
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 EasternSouthAmerica recouvre SouthernHemisphere
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3533-3533 Europe recouvre EasternHemisphere
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3534-3534 Europe recouvre WesternHemisphere
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 MiddleAmerica recouvre NorthAmerica
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 MiddleAmerica recouvre SouthAmerica
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 MiddleEastRegion recouvre Asia
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 NorthernAfrica recouvre EasternHemisphere
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195 NorthernAfrica recouvre WesternHemisphere
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246 NorthernSouthAmerica recouvre 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 3.0 is open source software produced by Articulate Software and its partners