TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2823-2824
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9506-9507
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1565-1566
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9503-9503	域連接的, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9504-9504	域連接的, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9499-9499	例連接的 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9501-9501	例連接的 and ReflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9500-9500	例連接的 and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9502-9502	例連接的 and SymmetricRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4200-4200	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 361-361
No TPTP formula. May not be expressible in strict first order.	english_format.kif 364-364
No TPTP formula. May not be expressible in strict first order.	french_format.kif 209-209
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 52-52
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2016-2016
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 161-161
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 86-86
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 216-216
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 480-480
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 229-229
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 226-226
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 120-120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9570-9570	相關的內部概念空間的符合 and 連接的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16095-16095	子關係連接的工程組件 and 連接的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4033-4033	子關係在空間上重疊 and 連接的
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 362-362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16638-16638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16637-16637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16636-16636
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 121-121

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9715-9720	底部 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject 方位 Object, SelfConnectedObject and 以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9554-9560	連接的 Object and Object 連接的 Object and Object 連接的 Object and Object 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	連接的 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9525	等於 Object and mereological 總和 Object and Object 連接的 Object and Object 例 Object and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12383-12397	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	例 Object and 渠道例 Object and 水體連接的 Object and Object 更大 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12431-12440	例 Process and Detaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity objectDetached Process and Entity objectDetached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17882-17892	例 Object and Object attribute Object and 又長又瘦例 Object and Object attribute Object and 又長又瘦連接的 Object and Object 等於 Object and Object RealNumber relativeAngle Object, Object and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	例 GeographicArea and 內陸水系統例 GeographicArea and WaterArea 例 GeographicArea and WaterArea 等於 GeographicArea and GeographicArea 連接的 GeographicArea and GeographicArea GeographicArea 是 GeographicArea 的 geographic 次要地區 GeographicArea 是 GeographicArea 的 geographic 次要地區 Object 例 Object and WaterArea 等於 Object and GeographicArea 等於 Object and GeographicArea 部分 Object and GeographicArea 連接 Object, GeographicArea and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10046-10050	適當填充 Object and HoleRegion 連接的 Object and Object 連接的 HoleRegion and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9745-9751	側 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject PositionalAttribute 方位 SelfConnectedObject, Object and PositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9730-9735	上 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject 方位 Object, SelfConnectedObject and 下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9513	連接的 Object and Object 空間的符合 Object and Object 在空間上重疊 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17107	方位 Object, Object and 鄰方位 Object, Object and 近連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	連接的 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11967-11977	connectedBodyPart BodyPart and BodyPart attribute Object and Healthy BodyPartI BodyPartI 例 BodyPartI and BodyPart 例 BodyPartI and BodyPart 部分 BodyPartI and Object 部分 BodyPartI and Object 連接的 BodyPartI and BodyPartI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes BodyPart, BodyPart and Organism 例 OrganismC and Organism attribute Object and DiseaseOrSyndrome Object Object 例 Object and BodyPart 例 Object and BodyPart 等於 Object and Object 部分 Object and OrganismC 部分 Object and OrganismC 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12360-12367	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12408-12415	例 Process and Detaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	例 Process and 數據保存資源 Process and Object 例 Object and ElectronicDataStorageDevice Object 例 Object and 電器儀器 Process and Object 持有期間何時 Process and 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10647-10657	例 Motion and Extension 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10607-10617	例 Motion and Flexion 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	例 Object and SelfConnectedObject 等於 Object and mereological 總和 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2949-2957	例 Object and 港口設施能力船靠泊, 患者 and Object Object 例 Object and 港口連接的 Object and Object 能力船靠泊, 路徑 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	例河 and 河例 Object and 水體 Object 是河的 flows WaterArea 例 WaterArea and 河口 WaterArea 是河的 outfall 連接的 WaterArea and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11485-11492	例 Process and Touching agent Process and AutonomousAgent 患者 Process and Entity 持有期間開始何時 Process and 連接的 AutonomousAgent and Entity 持有期間結束何時 Process and 連接的 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3538-3547	例 Object and 車輪例 CorpuscularObject and 公路車輛部分 Object and CorpuscularObject CorpuscularObject 例 CorpuscularObject and 軸零件 CorpuscularObject and CorpuscularObject 連接的 Object and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10046-10050	適當填充 Object and HoleRegion 連接的 Object and Object 連接的 HoleRegion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	attribute Object and 鎖定 Object Process and Entity 例 Object and 鎖連接的 Object and Object 例 Process and 關閉患者 Process and Object 例 Entity and Motion 早期何時 Process and 何時 attribute Object and 鎖定持有期間何時 attribute Object and 鎖定 and 模態屬性患者 Entity and Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	attribute Object and PartialVacuum Object Object, RealNumber, RealNumber and UnitOfMeasure 例 Object and SelfConnectedObject 例 Object and Region 等於 Object and Object 連接的 Object and Object 連接的 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAtmosphericPressure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	attribute Object and Pressurized Object Object, RealNumber, RealNumber and UnitOfMeasure 例 Object and SelfConnectedObject 例 Object and Region 等於 Object and Object 連接的 Object and Object 連接的 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAtmosphericPressure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10039-10044	完全填滿 Object and HoleRegion Object 連接的 Object and HoleRegion 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9546-9552	連接 Object, Object and Object 連接的 Object and Object 連接的 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24327-24334	Device 是 Artifact 的 equipment 類別 Object 例 Object and Device 部分 Object and Artifact 連接的 Object and Artifact
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5442-5444	Object 是 Object 的 flows 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9935-9937	hole HoleRegion and SelfConnectedObject 連接的 HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15366-15371	例 Object and 壁爐 Object 例 Object and 煙囪連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	例 Object and 海灣 Object 例 Object and 海例 Object and 海洋連接的 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 5169-5169	連接的腺嘌呤 and 阿拉伯海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5177-5177	連接的 GulfOfMexico and 加勒比海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5176-5176	連接的 GulfOfMexico and 北大西洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5161-5161	連接的阿曼灣 and 阿拉伯海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4631-4631	連接的印度洋 and 波斯灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4630-4630	連接的印度洋 and 南太平洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4632-4632	連接的印度洋 and 南部海洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 744-744	連接的密西西比河 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5154-5154	連接的波斯灣 and 霍爾木茲海峽
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	連接的紅海 and 腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5160-5160	連接的霍爾木茲海峽 and 阿曼灣

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: