TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2830-2831
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4038-4040
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1573-1575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4034-4034	例在空間上重疊 and ReflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4035-4035	例在空間上重疊 and SymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4033-4033	子關係在空間上重疊 and 連接的

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9574-9574	不相交的關係空間的符合 and 在空間上重疊
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4036-4036
No TPTP formula. May not be expressible in strict first order.	french_format.kif 212-212
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 207-207
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 219-219
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 489-489
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 245-245
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 232-232
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 229-229
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 396-396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43782-43782
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43781-43781
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43780-43780
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 397-397

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9911-9916	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject 在空間上重疊 HoleRegion and HoleRegion 在空間上重疊 SelfConnectedObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	在空間上重疊 Object and Object 例 Object and Region 等於 Object and Object 部分位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9580-9585	在空間上重疊 Object and Object Object 部分 Object and Object 部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10032-10037	填充 Object and HoleRegion attribute Object and 可填寫在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9903-9909	hole HoleRegion and SelfConnectedObject 部分 SelfConnectedObject and SelfConnectedObject 在空間上重疊 HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9911-9916	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject 在空間上重疊 HoleRegion and HoleRegion 在空間上重疊 SelfConnectedObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2492-2505	例 Process and 荒漠化 Process 是 located 在 Object Entity Entity 例 Entity and 耕地例 Entity and 沙漠持有期間開始何時 Process and 在空間上重疊 Object and Entity 持有期間結束何時 Process and 在空間上重疊 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2471-2482	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	例 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4055-4059	例 Object and Object 部分位於 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9601-9607	例 Entity and CaseRole 例 Object and Object Entity Physical and Object TimePoint 在空間上重疊哪裡 Physical and TimePoint and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12810-12815	例 Object and 軀幹例 Object and 肢在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1075-1082	例 GeographicArea and 海運貨架區例 Object and 大陸棚例 AutonomousAgent and Nation 空間的符合 Object and AutonomousAgent AutonomousAgent 是 GeographicArea 的 claimed 領土在空間上重疊 GeographicArea and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9593-9599	會員 Object and Collection 會員 Object and Collection 等於 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9587-9591	部分 Object and Object 部分 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1271-1278	physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3117-3133	coilCount WireCoil and Integer Collection 例 Collection and Collection Integer 是 Collection 的 member 計數 Object 會員 Object and Collection attribute Object and 封閉的二維圖部分 Object and WireCoil Object 在空間上重疊 Object and Object 會員 Object and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9513	連接的 Object and Object 空間的符合 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10086-10093	等於 Object and 洞皮 HoleRegion 膚淺的部分 Object and 洞主持人 HoleRegion 空間的符合 HoleRegion and Object 在空間上重疊 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10076-10084	等於 Object and 洞皮 HoleRegion 在空間上重疊 Object and Object Object 膚淺的部分 Object and 洞主持人 HoleRegion 空間的符合 HoleRegion and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9880-9883	hole HoleRegion and SelfConnectedObject 在空間上重疊 HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9616-9623	例 Object and PlantAreole Entity Object 例 Entity and Cactus 例 Object and PlantSpinoseStructure 部分 Object and Cactus 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6096-6102	例 Object and 大陸棚 Object 例 Object and 大陸邊緣適當的部分 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10991-10998	例 Object and 皮膚 SelfConnectedObject SelfConnectedObject 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 例 SelfConnectedObject and Animal 在空間上重疊 Object and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5202-5207	例 Object and 河口 Object 例 Object and 河口在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4146-4152	例 Object and 高原 Object 例 Object and 傾斜的區域 attribute Object and 陡峭的地形在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9699-9705	內飾部分 Object and Object Object 膚淺的部分 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3523-3523	在空間上重疊非洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3524-3524	在空間上重疊非洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3540-3540	在空間上重疊南極洲 and 東半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3541-3541	在空間上重疊南極洲 and 西半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3584-3584	在空間上重疊北冰洋 and 北極地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3582-3582	在空間上重疊北極地區 and 東半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3583-3583	在空間上重疊北極地區 and 西半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3550-3550	在空間上重疊亞洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3551-3551	在空間上重疊亞洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	在空間上重疊加勒比地區 and 北美
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	在空間上重疊加勒比地區 and 南美洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	在空間上重疊中非 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	在空間上重疊中非 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 191-191	在空間上重疊東非 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 192-192	在空間上重疊東非 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 242-242	在空間上重疊東南美洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 243-243	在空間上重疊東南美洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3545-3545	在空間上重疊歐洲 and 東半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3546-3546	在空間上重疊歐洲 and 西半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 168-168	在空間上重疊中美洲 and 北美
No TPTP formula. May not be expressible in strict first order.	Geography.kif 169-169	在空間上重疊中美洲 and 南美洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	在空間上重疊中東地區 and 亞洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	在空間上重疊北非 and 東半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 195-195	在空間上重疊北非 and 西半球
No TPTP formula. May not be expressible in strict first order.	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: