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 408-410
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 405-405	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 406-406	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 402-402	disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 403-403	disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 404-404	disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 407-407	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.	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 19869-19869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19868-19868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19867-19867
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 440-446

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 412-417	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 419-424	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 426-431	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 433-438	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 25816-25816	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1028-1028	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4225-4225	crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2611-2611	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4029-4029	deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8604-8604	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8588-8588	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2609-2609	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2610-2610	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1744-1744	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9710	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24999-24999	mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1679-1679	referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2525-2525	resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2524-2524	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2526-2526	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25014-25014	spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14546-14546	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24984-24984	stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 677-677	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 636-636	subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 634-634	synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 635-635	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: