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 9528-9529
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 9525-9525	域連接的, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9526-9526	域連接的, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9521	例連接的 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9523-9523	例連接的 and ReflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9522-9522	例連接的 and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9524-9524	例連接的 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 9592-9592	相關的內部概念空間的符合 and 連接的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16117-16117	子關係連接的工程組件 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 9737-9742	底部 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 9576-9582	連接的 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 9543-9547	等於 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 12405-12419	例 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 10576-10592	例 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 12453-12462	例 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 17904-17914	例 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 10068-10072	適當填充 Object and HoleRegion 連接的 Object and Object 連接的 HoleRegion and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9767-9773	側 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 9752-9757	上 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 9531-9535	連接的 Object and Object 空間的符合 Object and Object 在空間上重疊 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17125-17129	方位 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 11966-11976	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 12382-12389	例 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 12430-12437	例 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 10646-10656	例 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 10606-10616	例 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 9537-9541	例 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 11507-11514	例 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 10068-10072	適當填充 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 10061-10066	完全填滿 Object and HoleRegion Object 連接的 Object and HoleRegion 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9568-9574	連接 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 24326-24333	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 9957-9959	hole HoleRegion and SelfConnectedObject 連接的 HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15365-15370	例 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: