Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

asymmetrische Relation (AsymmetricRelation)

A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]

is subclass of

abstrakter Gegenstand

is subclass of

Relation

is subclass of

zweiwertige Relation

is subclass of

irreflexive Relation
is subclass of

is subclass of

[tree]

is subclass of

abstrakter Gegenstand

is subclass of

Relation

is subclass of

zweiwertige Relation

is subclass of

antisymmetrische Relation
is subclass of

is subclass of

is subclass of

asymmetrische Relation

Instance(s)

direkterFall direckteTeilkategorie &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie valenz dokumentation nachfolgerAttribut FrontseiteFn RückseiteFn korrektesTeil mitglied enthältInformationen attribut weise Wahrscheinlichkeit imBereichInteresses inListe aufgeschlossen reflexivAuf irreflexivAur teilweiseEinrichtung gesamteinrichtung trichotomizierungAuf äquivalenzrelationMit verursacht causes subclass zeit hältWährend nutztAus hatZweck hatFähigkeit hatRecht hatVerpflichtung kreuzt dringtEin besitzt vorbedingung realizierung inSpracheAusgedrückt verwendet identitätsElement element KardinalitätFn graphenTeil pfadLänge mass &%dauer von %1 ist %2 %n{nicht} frequenz zeitlichesTeil schliesstZeitlichAn datum fläche loch HauptwirtFn fülltTeilweise fülltRichtig fülltVollständig füllt OberflächeFn entwicklungsForm wohnt elternteil schreibt herausgeber veröffentlicht version bürger modalesAttribute

Subclass(es)

Fallrolle propositionale Einstellung Gegenstandeinstellung

Coordinate term(s)

Halbordnungsrelation

Axioms (1)

Wenn

rel ist ein fall von zweiwertige Relation
die Zahl Argument von rel ist ein fall von class1 oder die Zahl Argument von rel ist eine teilkategorie von class1
die Zahl Argument von rel ist ein fall von class2 oder die Zahl Argument von rel ist eine teilkategorie von class2 oder bildbereich von rel ist ein fall von class2 {nicht} oder die werte die rel zurückgibt sind teilkategorien von class2
class1 ist dijunkt von class2

, dann rel ist ein fall von asymmetrische Relation .

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))