disjointRelation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 463-464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 460-462
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-457	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 458-458	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 454-454	disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 455-455	disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 456-456	disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 459-459	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.	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.	portuguese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 112-112
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-tg.txt 170-170
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
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 562-562	"«هما مُنْفَصِلان»" is the printable form of disjoint relation in ar

antecedent

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

Merge.kif 494-501

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 466-471	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 473-478	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 480-485	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 487-492	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 21541-21541	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 4305-4305	crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2750-2750	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4121-4121	deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7138-7138	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7122-7122	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2748-2748	increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2749-2749	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1765-1765	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9456-9456	meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20875-20875	mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2651-2651	resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2650-2650	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2652-2652	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20890-20890	spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14299-14299	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20860-20860	stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 703-703	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 664-664	subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 662-662	synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 663-663	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: