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ů
is instance of

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)