Menge oder Kategorie (SetOrClass)

The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Menge oder Kategorie

Subclass(es)

Kategorie Menge paarweise disjunkte Kategorie gegenseitige disjunkte Kategorie

Coordinate term(s)

Attribut Graph Graphelement Proposition Eigenschaft Relation

Constrains relations

KardinalitätFn ErgänzungFn GeneralisierteDurchschnittFn GeneralisierteVereinigungFn DurchschnittFn KappaFn PotenzMengeFn RelativeErgänzungFn VereinigungFn aufgeschlossen disjunkt definitionsbereich definitionsbereichteilkategorie äquivalenzrelationMit fall irreflexivAur teilweiseEinrichtung &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie reflexivAuf teilkategorie gesamteinrichtung trichotomizierungAuf

Axioms (4)

subclass ist eine teilkategorie von class nur wenn

subclass ist ein fall von Menge oder Kategorie
class ist ein fall von Menge oder Kategorie
für jeden inst gilt: wenn inst ist ein fall von subclass , dann inst ist ein fall von class

(<=>
      (subclass ?SUBCLASS ?CLASS)
      (and
            (instance ?SUBCLASS SetOrClass)
            (instance ?CLASS SetOrClass)
            (forall
                  (?INST)
                  (=>
                        (instance ?INST ?SUBCLASS)
                        (instance ?INST ?CLASS)))))

class1 ist dijunkt von class2 nur wenn

class1 ist ein fall von Menge oder Kategorie
class2 ist ein fall von Menge oder Kategorie
für jeden inst gilt: inst ist ein fall von class1 nicht oder inst ist ein fall von class2 nicht

(<=>
      (disjoint ?CLASS1 ?CLASS2)
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass)
            (forall
                  (?INST)
                  (not
                        (and
                              (instance ?INST ?CLASS1)
                              (instance ?INST ?CLASS2))))))

Menge oder Kategorie wird vollständig in Menge,Kategorie verteilt.

(partition SetOrClass Set Class)

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))))