TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order.	Merge.kif 585-588
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 82-84
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 94-96
No TPTP formula. May not be expressible in strict first order.	Merge.kif 582-582	划分的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 583-583	划分的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 580-580	划分是谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 581-581	划分是不定次元关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order.	english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order.	french_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1998-1998
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 408-408
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 198-198
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 405-405
No TPTP formula. May not be expressible in strict first order.	Merge.kif 550-550	彻底的分拆和划分是内部相关
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44567-44567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44566-44566

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 606-612	如果类详尽无遗地 partition 成另一个类和第三类和实体是那个类的 instance 和那个实体不是那个另外类的 instance，然后那个实体是那个第三类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 602-604	如果类详尽无遗地 partition 成另一个类和第三类，然后那个类详尽无遗地 partition 成那个第三类和那个另外类
No TPTP formula. May not be expressible in strict first order.	Merge.kif 590-594	如果 @ROW 详尽无遗地 partition 成 @ROW，然后 @ROW 涵盖 @ROW 和 @ROW 分拆成不相交的 @ROW

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 596-600	如果 @ROW 涵盖 @ROW 和 @ROW 分拆成不相交的 @ROW，然后 @ROW 详尽无遗地 partition 成 @ROW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 602-604	如果类详尽无遗地 partition 成另一个类和第三类，然后那个类详尽无遗地 partition 成那个第三类和那个另外类

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11141-11141	走动详尽无遗地 partition 成步行和赛跑
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14915-14915	解剖结构详尽无遗地 partition 成动物解剖结构和植物解剖结构
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14914-14914	解剖结构详尽无遗地 partition 成身体部位和异常的解剖结构
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14447-14447	动物详尽无遗地 partition 成脊椎动物和无脊椎动物
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16813-16813	争论详尽无遗地 partition 成演绎论证和归纳论证
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	属性详尽无遗地 partition 成内在属性和关联属性
No TPTP formula. May not be expressible in strict first order.	WMD.kif 82-82	生化剂详尽无遗地 partition 成生物制剂和化学剂
No TPTP formula. May not be expressible in strict first order.	WMD.kif 108-108	生化武器详尽无遗地 partition 成生物武器和化学武器
No TPTP formula. May not be expressible in strict first order.	WMD.kif 157-157	生物制剂详尽无遗地 partition 成毒素和有毒生物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7625-7625	护理组织详尽无遗地 partition 成医院组织和医疗诊所
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1027-1027	主席出版物详尽无遗地 partition 成主席指示和主席手册
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12504-12504	化学过程详尽无遗地 partition 成化学合成和化学分解
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13036-13036	沟通详尽无遗地 partition 成陈述, 假如, 指令g, 承诺, 表示, 和声明
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3585-3585	货币详尽无遗地 partition 成货币单和货币硬币
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16833-16833	演绎论证详尽无遗地 partition 成有效的演绎论证和无效的演绎论证
No TPTP formula. May not be expressible in strict first order.	Merge.kif 816-816	实体详尽无遗地 partition 成物理和抽象体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12943-12943	表示详尽无遗地 partition 成手势和用语言表达
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1604-1604	火器详尽无遗地 partition 成步枪和手枪
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8152-8152	园林详尽无遗地 partition 成私人庭园和公共庭园
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14032-14032	地理区域详尽无遗地 partition 成水域和土地面积
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17781-17781	几何图详尽无遗地 partition 成几何点, 一维图, 二维图, 和三维图
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5820-5820	图元素详尽无遗地 partition 成图节点和图弧
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1162	枪详尽无遗地 partition 成火炮枪和火器
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5279-5279	Hardwood 详尽无遗地 partition 成 Softwood
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14645-14645	人类详尽无遗地 partition 成人和女人

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: