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 413-415
No TPTP formula. May not be expressible in strict first order.	Merge.kif 410-410	The number 1 argument of disjoint relation is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 411-411	The number 2 argument of disjoint relation is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 407-407	disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 408-408	disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 409-409	disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 412-412	disjoint relation is internally related to disjoint

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.	chinese_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19851-19851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19850-19850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19849-19849

antecedent

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

Merge.kif 445-451

If a relation is an instance of predicate and another relation is an instance of predicate and the relation and the other relation are disjoint and the relation @ROW2,
then the other relation @ROW2

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 417-422	If the number a positive integer argument of a relation is an instance of a class and the number the positive integer argument of another relation is an instance of another class and the class is disjoint from the other class, then the relation and the other relation are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 424-429	If the number a positive integer argument of a relation is a subclass of a class and the number the positive integer argument of another relation is a subclass of another class and the class is disjoint from the other class, then the relation and the other relation are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 431-436	If the range of a function is an instance of a class and the range of another function is an instance of another class and the class is disjoint from the other class, then the function and the other function are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 438-443	If the values returned by a function are subclasses of a kind of class and the values returned by another function are subclasses of another kind of class and a kind of class is disjoint from another kind of class, then the function and the other function are disjoint

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23609-23609	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 976-976	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4116-4116	crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2546-2546	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3938-3938	deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7119-7119	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7103-7103	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2544-2544	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2545-2545	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1680-1680	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9473-9473	meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22805-22805	mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1647-1647	referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2459	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2461-2461	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22820-22820	spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14132-14132	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22790-22790	stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 673-673	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 639-639	subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 637-637	synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 638-638	synonymous external concept and subsuming external concept are disjoint

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

KB Term:			Term intersection

English Word: