DurchschnittFn (IntersectionFn)

A BinaryFunction that maps two %SetOrClasses to the intersection of these SetOrClasses. An object is an instance of the intersection of two SetOrClasses just in case it is an instance of both of those SetOrClasses.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

Kategorie

inheritable relation

zweistellige Funktion

DurchschnittFn

Coordinate term(s)

AdditionFn TagFn DichteFn DivisionFn AusgabeFn ExponentiationFn GraphPfadFn StundeFn AbstandFn KappaFn ListeVerkettenFn ListeOrdnungFn LogarithmusFn MaximumFn MaximalerBelasteterPfadFn MassFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn MinumumFn MinimalerBelasteterPfadFn MinuteFn MonatFn MultiplikationFn PeriodikumAusgabeFn RückläufigeZeitAbstandFn RelativeErgänzungFn RelativeZeitFn RestFn SekundFn ReiheBandeFn GeschwindigkeitFn SubtraktionFn ZeitlicheAufbauFn ZeitabstandFn VereinigungFn WoFn

Type restrictions

Menge oder Kategorie IntersectionFn(Menge oder Kategorie, Menge oder Kategorie)

Related WordNet synsets

intersection, product: the set of elements common to two or more sets; "the set of red hats is the intersection of the set of hats and the set of red things"

Axioms (2)

entity ist ein fall von "der durchschnitt von class1 und class2" nur wenn entity ist ein fall von class1 und entity ist ein fall von class2 .

(<=>
      (instance
            ?ENTITY
            (IntersectionFn ?CLASS1 ?CLASS2))
      (and
            (instance ?ENTITY ?CLASS1)
            (instance ?ENTITY ?CLASS2)))

Wenn class1 ist ein fall von Menge oder Kategorie und class2 ist ein fall von Menge oder Kategorie , dann "der unterschied zwischen class1 und class2" ist gleich "der durchschnitt von class1 und "die ergänzung von class2"" .

(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))