TreeView Knowledge Base Browser

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 9205-9207
(instance overlapsSpatially ReflexiveRelation)	Merge.kif 9201-9201
(instance overlapsSpatially SymmetricRelation)	Merge.kif 9202-9202
(subrelation overlapsSpatially connected)	Merge.kif 9200-9200

appearance as argument number 2

(disjointRelation meetsSpatially overlapsSpatially)	Merge.kif 9194-9194
(format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠")	chinese_format.kif 367-367
(format EnglishLanguage overlapsSpatially "%1 and %2 is %n overlapsSpatially")	Merge.kif 9203-9203
(termFormat ChineseLanguage overlapsSpatially "在空间上重叠")	domainEnglishFormat.kif 43759-43759
(termFormat ChineseLanguage overlapsSpatially "重叠")	chinese_format.kif 368-368
(termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊")	domainEnglishFormat.kif 43758-43758
(termFormat EnglishLanguage overlapsSpatially "overlaps spatially")	domainEnglishFormat.kif 43757-43757

antecedent

(<=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2))))	Merge.kif 9209-9214
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9522-9527
(=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO))	Geography.kif 3377-3382

consequent

(=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9652-9657
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))	Merge.kif 9514-9520
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9522-9527
(=> (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 2485-2498
(=> (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 2464-2475
(=> (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) (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 1273-1294
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 3952-3956
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))	Merge.kif 9224-9230
(=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB)))	Mid-level-ontology.kif 12142-12147
(=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf))	Geography.kif 1074-1081
(=> (and (member ?OBJ1 ?COLL) (member ?OBJ2 ?COLL) (not (equal ?OBJ1 ?OBJ2))) (not (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9216-9222
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1211-1218
(=> (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 9146-9150
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3))))))	Merge.kif 9696-9705
(=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ)))	Merge.kif 9491-9494
(=> (instance ?SHELF ContinentalShelf) (exists (?MARGIN) (and (instance ?MARGIN ContinentalMargin) (properPart ?SHELF ?MARGIN) (overlapsSpatially ?SHELF ?MARGIN))))	Geography.kif 5878-5884
(=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE))))	Mid-level-ontology.kif 10366-10373
(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER))))	Geography.kif 4986-4991
(=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau))))	Geography.kif 3984-3990
(=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART)))))	Merge.kif 9313-9319
(=> (meetsSpatially ?AREA1 ?AREA2) (not (overlapsSpatially ?AREA1 ?AREA2)))	Geography.kif 723-725
(=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9257-9259

appearance as argument number 0

(overlapsSpatially Africa NorthernHemisphere)	Geography.kif 3404-3404
(overlapsSpatially Africa SouthernHemisphere)	Geography.kif 3405-3405
(overlapsSpatially Antarctica EasternHemisphere)	Geography.kif 3421-3421
(overlapsSpatially Antarctica WesternHemisphere)	Geography.kif 3422-3422
(overlapsSpatially ArcticOcean ArcticRegion)	Geography.kif 3465-3465
(overlapsSpatially ArcticRegion EasternHemisphere)	Geography.kif 3463-3463
(overlapsSpatially ArcticRegion WesternHemisphere)	Geography.kif 3464-3464
(overlapsSpatially Asia NorthernHemisphere)	Geography.kif 3431-3431
(overlapsSpatially Asia SouthernHemisphere)	Geography.kif 3432-3432
(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 3426-3426
(overlapsSpatially Europe WesternHemisphere)	Geography.kif 3427-3427
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: