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 4039-4041
(documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的ではない) 関係である。")	japanese_format.kif 1573-1575
(instance overlapsSpatially ReflexiveRelation)	Merge.kif 4035-4035	例在空間上重疊 and ReflexiveRelation
(instance overlapsSpatially SymmetricRelation)	Merge.kif 4036-4036	例在空間上重疊 and SymmetricRelation
(subrelation overlapsSpatially connected)	Merge.kif 4034-4034	子關係在空間上重疊 and 連接的

appearance as argument number 2

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

antecedent

(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9947-9952	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject 在空間上重疊 HoleRegion and HoleRegion 在空間上重疊 SelfConnectedObject and SelfConnectedObject
(=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO))	Geography.kif 3496-3501	在空間上重疊 Object and Object 例 Object and Region 等於 Object and Object 部分位於 Object and Object
(=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2))))	Merge.kif 9616-9621	在空間上重疊 Object and Object Object 部分 Object and Object 部分 Object and Object

consequent

(=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 10068-10073	填充 Object and HoleRegion attribute Object and 可填寫在空間上重疊 Object and Object
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))	Merge.kif 9939-9945	hole HoleRegion and SelfConnectedObject 部分 SelfConnectedObject and SelfConnectedObject 在空間上重疊 HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9947-9952	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject 在空間上重疊 HoleRegion and HoleRegion 在空間上重疊 SelfConnectedObject and SelfConnectedObject
(=> (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 2475-2488	例 Process and 荒漠化 Process 是 located 在 Object Entity Entity 例 Entity and 耕地例 Entity and 沙漠持有期間開始何時 Process and 在空間上重疊 Object and Entity 持有期間結束何時 Process and 在空間上重疊 Object and Entity
(=> (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 2454-2465	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
(=> (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	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 4056-4060	例 Object and Object 部分位於 Object and Object 在空間上重疊 Object and Object
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))	Merge.kif 9637-9643	例 Entity and CaseRole 例 Object and Object Entity Physical and Object TimePoint 在空間上重疊哪裡 Physical and TimePoint and Object
(=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB)))	Mid-level-ontology.kif 12837-12842	例 Object and 軀幹例 Object and 肢在空間上重疊 Object and Object
(=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf))	Geography.kif 1075-1082	例 GeographicArea and 海運貨架區例 Object and 大陸棚例 AutonomousAgent and Nation 空間的符合 Object and AutonomousAgent AutonomousAgent 是 GeographicArea 的 claimed 領土在空間上重疊 GeographicArea and Object
(=> (and (member ?OBJ1 ?COLL) (member ?OBJ2 ?COLL) (not (equal ?OBJ1 ?OBJ2))) (not (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9629-9635	會員 Object and Collection 會員 Object and Collection 等於 Object and Object 在空間上重疊 Object and Object
(=> (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9623-9627	部分 Object and Object 部分 Object and Object 在空間上重疊 Object and Object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1264-1271	physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 在空間上重疊 Object and Object
(=> (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 3101-3118	coilCount WireCoil and Integer Collection Collection2F 例 Collection and Collection Integer 是 Collection 的 member 計數 Object 會員 Object and Collection attribute Object and Collection2F 例 Collection2F and 封閉的二維圖部分 Object and WireCoil Object 在空間上重疊 Object and Object 會員 Object and Collection
(=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9545-9549	連接的 Object and Object 空間的符合 Object and Object 在空間上重疊 Object and Object
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10122-10129	等於 Object and 洞皮 HoleRegion 膚淺的部分 Object and 洞主持人 HoleRegion 空間的符合 HoleRegion and Object 在空間上重疊 Object and Object 在空間上重疊 Object and Object
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10112-10120	等於 Object and 洞皮 HoleRegion 在空間上重疊 Object and Object Object 膚淺的部分 Object and 洞主持人 HoleRegion 空間的符合 HoleRegion and Object 在空間上重疊 Object and Object
(=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ)))	Merge.kif 9916-9919	hole HoleRegion and SelfConnectedObject 在空間上重疊 HoleRegion and SelfConnectedObject
(=> (instance ?AREOLE PlantAreole) (exists (?CAC ?SPINE) (and (instance ?CAC Cactus) (instance ?SPINE PlantSpinoseStructure) (part ?SPINE Cactus) (overlapsSpatially ?SPINE ?AREOLE))))	Mid-level-ontology.kif 9643-9650	例 Object and PlantAreole Entity Object 例 Entity and Cactus 例 Object and PlantSpinoseStructure 部分 Object and Cactus 在空間上重疊 Object and Object
(=> (instance ?SHELF ContinentalShelf) (exists (?MARGIN) (and (instance ?MARGIN ContinentalMargin) (properPart ?SHELF ?MARGIN) (overlapsSpatially ?SHELF ?MARGIN))))	Geography.kif 6096-6102	例 Object and 大陸棚 Object 例 Object and 大陸邊緣適當的部分 Object and Object 在空間上重疊 Object and Object
(=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE))))	Mid-level-ontology.kif 11018-11025	例 Object and 皮膚 SelfConnectedObject SelfConnectedObject 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 例 SelfConnectedObject and Animal 在空間上重疊 Object and SelfConnectedObject
(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER))))	Geography.kif 5202-5207	例 Object and 河口 Object 例 Object and 河口在空間上重疊 Object and Object
(=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau))))	Geography.kif 4146-4152	例 Object and 高原 Object 例 Object and 傾斜的區域 attribute Object and 陡峭的地形在空間上重疊 Object and Object
(=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART)))))	Merge.kif 9735-9741	內飾部分 Object and Object Object 膚淺的部分 Object and Object 在空間上重疊 Object and Object
(=> (meetsSpatially ?AREA1 ?AREA2) (not (overlapsSpatially ?AREA1 ?AREA2)))	Geography.kif 724-726	空間的符合 Object and Object 在空間上重疊 Object and Object

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 3523-3523	在空間上重疊非洲 and 北半球
(overlapsSpatially Africa SouthernHemisphere)	Geography.kif 3524-3524	在空間上重疊非洲 and 南半球
(overlapsSpatially Antarctica EasternHemisphere)	Geography.kif 3540-3540	在空間上重疊南極洲 and 東半球
(overlapsSpatially Antarctica WesternHemisphere)	Geography.kif 3541-3541	在空間上重疊南極洲 and 西半球
(overlapsSpatially ArcticOcean ArcticRegion)	Geography.kif 3584-3584	在空間上重疊北冰洋 and 北極地區
(overlapsSpatially ArcticRegion EasternHemisphere)	Geography.kif 3582-3582	在空間上重疊北極地區 and 東半球
(overlapsSpatially ArcticRegion WesternHemisphere)	Geography.kif 3583-3583	在空間上重疊北極地區 and 西半球
(overlapsSpatially Asia NorthernHemisphere)	Geography.kif 3550-3550	在空間上重疊亞洲 and 北半球
(overlapsSpatially Asia SouthernHemisphere)	Geography.kif 3551-3551	在空間上重疊亞洲 and 南半球
(overlapsSpatially CaribbeanRegion NorthAmerica)	Geography.kif 167-167	在空間上重疊加勒比地區 and 北美
(overlapsSpatially CaribbeanRegion SouthAmerica)	Geography.kif 166-166	在空間上重疊加勒比地區 and 南美洲
(overlapsSpatially CentralAfrica NorthernHemisphere)	Geography.kif 187-187	在空間上重疊中非 and 北半球
(overlapsSpatially CentralAfrica SouthernHemisphere)	Geography.kif 188-188	在空間上重疊中非 and 南半球
(overlapsSpatially EasternAfrica NorthernHemisphere)	Geography.kif 191-191	在空間上重疊東非 and 北半球
(overlapsSpatially EasternAfrica SouthernHemisphere)	Geography.kif 192-192	在空間上重疊東非 and 南半球
(overlapsSpatially EasternSouthAmerica NorthernHemisphere)	Geography.kif 242-242	在空間上重疊東南美洲 and 北半球
(overlapsSpatially EasternSouthAmerica SouthernHemisphere)	Geography.kif 243-243	在空間上重疊東南美洲 and 南半球
(overlapsSpatially Europe EasternHemisphere)	Geography.kif 3545-3545	在空間上重疊歐洲 and 東半球
(overlapsSpatially Europe WesternHemisphere)	Geography.kif 3546-3546	在空間上重疊歐洲 and 西半球
(overlapsSpatially MiddleAmerica NorthAmerica)	Geography.kif 168-168	在空間上重疊中美洲 and 北美
(overlapsSpatially MiddleAmerica SouthAmerica)	Geography.kif 169-169	在空間上重疊中美洲 and 南美洲
(overlapsSpatially MiddleEastRegion Asia)	Geography.kif 146-146	在空間上重疊中東地區 and 亞洲
(overlapsSpatially NorthernAfrica EasternHemisphere)	Geography.kif 194-194	在空間上重疊北非 and 東半球
(overlapsSpatially NorthernAfrica WesternHemisphere)	Geography.kif 195-195	在空間上重疊北非 and 西半球
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere)	Geography.kif 246-246	在空間上重疊北美洲南部 and 北半球

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: