Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Koncept: Anglické slovo: Hlavní stránka

# disjoint relation (disjointRelation)

This predicate relates any number of Relations. (disjointRelation @ROW) means that any two relations in @ROW have no tuples in common. As a consequence, the intersection of all of the relations in @ROW is the null set.

## Ontologie

SUMO / STRUCTURAL-ONTOLOGY

## Class(es)

 třída

inheritable relation

predikát
 relace s proměnným počtem argumentů

disjoint relation

## Související termín(y)

assignment fn  greatest common divisor fn  least common multiple fn  list fn  contrary attribute  disjoint decomposition  exhaustive attribute  exhaustive decomposition  holds  partition

## Axiomy (15)

disjoint relation je internally related to disjoint.
`(relatedInternalConcept disjointRelation disjoint)`

Jestliže and ? are disjoint a rel je a member of "()", potom rel je instancí třídy relace.
```(=>
(and
(disjointRelation @ROW)
(inList
?REL
(ListFn @ROW)))
(instance ?REL Relation))```

Jestliže and ? are disjoint a rel1 je a member of "()" a rel2 je a member of "()" a rel1 has number argument(s), potom rel2 has number argument(s).
```(=>
(and
(disjointRelation @ROW)
(inList
?REL1
(ListFn @ROW))
(inList
?REL2
(ListFn @ROW))
(valence ?REL1 ?NUMBER))
(valence ?REL2 ?NUMBER))```

Jestliže numberth argument of rel1 je an instance of class1 a numberth argument of rel2 je an instance of class2 a class1 je disjoint from class2, potom rel1 and rel2 are disjoint.
```(=>
(and
(domain ?REL1 ?NUMBER ?CLASS1)
(domain ?REL2 ?NUMBER ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))```

Jestliže numberth argument of rel1 je a subclass of class1 a numberth argument of rel2 je a subclass of class2 a class1 je disjoint from class2, potom rel1 and rel2 are disjoint.
```(=>
(and
(domainSubclass ?REL1 ?NUMBER ?CLASS1)
(domainSubclass ?REL2 ?NUMBER ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))```

Jestliže range of rel1 je an instance of class1 a range of rel2 je an instance of class2 a class1 je disjoint from class2, potom rel1 and rel2 are disjoint.
```(=>
(and
(range ?REL1 ?CLASS1)
(range ?REL2 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))```

Jestliže range subclass(rel1,class1) platí a range subclass(rel2,class2) platí a class1 je disjoint from class2, potom rel1 and rel2 are disjoint.
```(=>
(and
(rangeSubclass ?REL1 ?CLASS1)
(rangeSubclass ?REL2 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))```

Jestliže and ? are disjoint a rel1 je a member of "()" a rel2 je a member of "()" a rel1 se nerovná rel2 a rel1() holds, potom rel2() doesn't hold.
```(=>
(and
(disjointRelation @ROW1)
(inList
?REL1
(ListFn @ROW1))
(inList
?REL2
(ListFn @ROW1))
(not
(equal ?REL1 ?REL2))
(holds ?REL1 @ROW2))
(not
(holds ?REL2 @ROW2)))```

synonymous external concept and subsumed external concept are disjoint.
`(disjointRelation synonymousExternalConcept subsumedExternalConcept subsumingExternalConcept)`

sub attribute and successor attribute are disjoint.
`(disjointRelation subAttribute successorAttribute)`

manner and attribute are disjoint.
`(disjointRelation manner attribute)`

resource and result are disjoint.
`(disjointRelation resource result instrument)`

increases likelihood and decreases likelihood are disjoint.
`(disjointRelation increasesLikelihood decreasesLikelihood independentProbability)`

crosses and connected are disjoint.
`(disjointRelation crosses connected)`

meets spatially and overlaps spatially are disjoint.
`(disjointRelation meetsSpatially overlapsSpatially)`