TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1502-1503
No TPTP formula. May not be expressible in strict first order.	Merge.kif 415-417
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 65-67
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 75-77
No TPTP formula. May not be expressible in strict first order.	Merge.kif 412-412	不相交关系的 1 数量是关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 413-413	不相交关系的 2 数量是关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 409-409	不相交关系是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 410-410	不相交关系是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 411-411	不相交关系是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 414-414	不相交关系和不相交是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 289-289
No TPTP formula. May not be expressible in strict first order.	english_format.kif 294-294
No TPTP formula. May not be expressible in strict first order.	french_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 77-77
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1987-1987
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 183-183
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 376-376
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 117-117
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 187-187
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 174-174
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 170-170
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19860-19860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19859-19859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19858-19858
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 117-117

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 447-453

如果关系是谓语的 instance 和另一个关系是谓语的 instance 和那个关系和那个另外关系是 disjoint 关系和那个关系 @ROW2，
然后那个另外关系 @ROW2

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 419-424	如果关系的正整数数量是类的 instance 和另一个关系的那个正整数数量是另一个类的 instance 和那个类和 % 2 是 disjoint，然后那个关系和那个另外关系是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 426-431	如果关系的正整数数量是类的 subclass 和另一个关系的那个正整数数量是另一个类的 subclass 和那个类和 % 2 是 disjoint，然后那个关系和那个另外关系是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 433-438	如果函数的 range 是类的实例和另一个函数的 range 是另一个类的实例和那个类和 % 2 是 disjoint，然后那个函数和那个另外函数是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 440-445	如果函数的所得值是有点类的 subclass 和另一个函数的所得值是另一个有点类的 subclass 和有点类和 % 2 是 disjoint，然后那个函数和那个另外函数是 disjoint 关系

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24170-24170	祖先组织和子机构是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1018-1018	容纳和部分是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4200-4200	横过和相连是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2600-2600	降低可能性和独立发生机率是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4013-4013	剥夺了规范和赋予规范是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7439-7439	不赞成和渴望是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7423-7423	不喜欢和想要是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2598-2598	提高可能性和降低可能性是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2599-2599	提高可能性和独立发生机率是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1734-1734	形式和属于是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9574-9574	接触和重叠是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23358-23358	相互陌生的人和相识熟人是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1679-1679	referee 和扮演是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2514-2514	资源和工具是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2513-2513	资源和结果是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	结果和工具是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23373-23373	伴侣和国内的合作伙伴是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14393-14393	停留和家是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23343-23343	陌生人和熟人是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 684-684	子属性和后续属性是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 643-643	纳入外部的概念和包含外部的概念是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 641-641	和外部意义相同的概念和纳入外部的概念是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 642-642	和外部意义相同的概念和包含外部的概念是 disjoint 关系

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

KB Term:			Term intersection

English Word: