TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2834-2837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9680-9685
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1578-1581
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9677-9677	域膚淺的部分, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9678-9678	域膚淺的部分, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9676-9676	例膚淺的部分 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9673-9673	例膚淺的部分 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9675-9675	例膚淺的部分 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9674-9674	例膚淺的部分 and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.	english_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	french_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 289-289
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2020-2020
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 166-166
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 221-221
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 495-495
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 326-326
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 234-234
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 231-231
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 481-481
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9729-9729	子關係底部 and 膚淺的部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9759-9759	子關係側 and 膚淺的部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9698-9698	子關係表面 and 膚淺的部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9744-9744	子關係上 and 膚淺的部分
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56113-56113
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56112-56112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56111-56111

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	attribute Object and 單色膚淺的部分 Object and Object attribute Object and Attribute 例 Attribute and PrimaryColor Object 膚淺的部分 Object and Object attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29740-29744	covers Object and Object 膚淺的部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	physicalEnd Object and Object 膚淺的部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9687-9694	膚淺的部分 Object and Object 內飾部分 Object and Object Object 內飾部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9669-9671	膚淺的部分 Object and Object 部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	attribute Object and 單色膚淺的部分 Object and Object attribute Object and Attribute 例 Attribute and PrimaryColor Object 膚淺的部分 Object and Object attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1907-1912	LengthMeasure 是 Object 的 elevation 位於 Object and Object 例 Object and GeographicArea 膚淺的部分 Object and 行星地球
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12638-12651	例 Process and SurfaceChange 患者 Process and Object Object entity 膚淺的部分 Object and Object 持有期間開始何時 Process and attribute Object and entity 持有期間結束何時 Process and attribute Object and entity 持有期間開始何時 Process and attribute Object and entity 持有期間結束何時 Process and attribute Object and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25251-25261	例 Process and Ironing 患者 Process and Object Process ProcessRON and Object 膚淺的部分 Object and Object 例 Process and Heating 患者 Process and ProcessRON 患者 Process and Object 儀器 Process and ProcessRON
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25235-25244	例 Process and Roughening 患者 Process and Object ProcessART 膚淺的部分 ProcessART and Object 持有期間結束何時 Process and attribute ProcessART and 粗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25219-25228	例 Process and Smoothing 患者 Process and Object Object 膚淺的部分 Object and Object 持有期間結束何時 Process and attribute Object and 平滑
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17732-17742	attribute Object and 多色 Object Object, Attribute and Attribute 膚淺的部分 Object and Object 膚淺的部分 Object and Object attribute Object and Attribute attribute Object and Attribute 例 Attribute and ColorAttribute 例 Attribute and ColorAttribute 等於 Attribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10108-10115	等於 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 10098-10106	等於 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 15099-15106	例 Object and BodyCovering Object 膚淺的部分 Object and Object 例 Object and Organism 例 Object and BodyPart
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-805	例 Region and Region 膚淺的部分 Region 的 inner 邊界 and Region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 815-817	例 Region and Region 膚淺的部分 Region 的 outer 邊界 and Region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9721-9727	內飾部分 Object and Object Object 膚淺的部分 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9707-9712	表面 SelfConnectedObject and SelfConnectedObject Object 膚淺的部分 Object and SelfConnectedObject 部分 Object and SelfConnectedObject

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

KB Term:			Term intersection

English Word: