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 4042-4044
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") japanese_format.kif 1573-1575
(domain overlapsSpatially 1 Object) Merge.kif 4035-4035 overlapsSpatially の数値 1 引数は オブジェクト の instance では %n
(domain overlapsSpatially 2 Object) Merge.kif 4036-4036 overlapsSpatially の数値 2 引数は オブジェクト の instance では %n
(instance overlapsSpatially ReflexiveRelation) Merge.kif 4038-4038 overlapsSpatially は 反射関係 の instance では %n
(instance overlapsSpatially SymmetricRelation) Merge.kif 4039-4039 overlapsSpatially は 対称関係 の instance では %n
(subrelation overlapsSpatially connected) Merge.kif 4034-4034 overlapsSpatially は connected の subrelation では %n

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


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

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


(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 10034-10039
(=>
    (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 9701-9706

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


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 10157-10162
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 10026-10032
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 10034-10039
(=>
    (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 2881-2894
(=>
    (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 2860-2871
(=>
    (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 1666-1687
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 4059-4063
(=>
    (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 9722-9728
(=>
    (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 1069-1076
(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9714-9720
(=>
    (and
        (part ?OBJ3 ?OBJ1)
        (part ?OBJ3 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 9708-9712
(=>
    (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 9630-9634
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))		 Merge.kif 10211-10218
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))		 Merge.kif 10201-10209
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))		 Merge.kif 10003-10006
(=>
    (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 6166-6172
(=>
    (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 5272-5277
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))		 Geography.kif 4216-4222
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))		 Merge.kif 9822-9828

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 overlapsSpatially Africa and NorthernHemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3512-3512 overlapsSpatially Africa and SouthernHemisphere
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3528-3528 overlapsSpatially Antarctica and EasternHemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3529-3529 overlapsSpatially Antarctica and WesternHemisphere
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3572-3572 overlapsSpatially ArcticOcean and ArcticRegion
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3570-3570 overlapsSpatially ArcticRegion and EasternHemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3571-3571 overlapsSpatially ArcticRegion and WesternHemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3538-3538 overlapsSpatially Asia and NorthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3539-3539 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 3533-3533 overlapsSpatially Europe and EasternHemisphere
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3534-3534 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 3.0 is open source software produced by Articulate Software and its partners