disjointRelation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 465-466
No TPTP formula. May not be expressible in strict first order.	Merge.kif 462-464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 459-459	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 460-460	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 456-456	disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-457	disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 458-458	disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 461-461	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 177-177
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 290-290	"不相交关系" is the printable form of disjoint relation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3731-3731	"disjoint relation" is the printable form of disjoint relation in english language

antecedent

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

Merge.kif 496-503

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 is not equal to the other relation and the relation @ROW2,
then the other relation @ROW2

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 468-473	If the number a positive integer argument of a relation is an instance of a set or class and the number the positive integer argument of another relation is an instance of another set or class and the set or class is disjoint from the other set or class, then the relation and the other relation are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 475-480	If the number a positive integer argument of a relation is a subclass of a set or class and the number the positive integer argument of another relation is a subclass of another set or class and the set or class is disjoint from the other set or class, then the relation and the other relation are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 482-487	If the range of a function is an instance of a set or class and the range of another function is an instance of another set or class and the set or class is disjoint from the other set or class, then the function and the other function are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 489-494	If the values returned by a function are subclasses of a kind of set or class and the values returned by another function are subclasses of another kind of set or class and a kind of set or class is disjoint from another kind of set or 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 21933-21933	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1045-1045	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4336-4336	crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2773-2773	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4148-4148	deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7142-7142	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7126-7126	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2771-2771	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2772-2772	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1788-1788	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9588-9588	meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21267-21267	mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 691-691	referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2674-2674	resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2673-2673	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2675-2675	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21282-21282	spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14436-14436	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21252-21252	stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 717-717	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 678-678	subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 676-676	synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 677-677	synonymous external concept and subsuming external concept are disjoint

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: