trichotomizierungAuf (trichotomizingOn)

A BinaryRelation rel is trichotomizing on a SetOrClass only if, for all instances inst1 and inst2 of the SetOrClass, at least one of the following holds: (rel inst1 inst2), (rel inst2 inst1) or (equal inst1 inst2).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie

inheritable relation

zweistellige Prädikat
is instance of

asymmetrische Relation
is instance of

trichotomizierungAuf

Coordinate term(s)

RückseiteFn KardinalitätFn FrontseiteFn HauptwirtFn Wahrscheinlichkeit OberflächeFn arctusGewicht attribut schreibt vorOderGleichzeitig verursacht causes subclass bürger aufgeschlossen fülltVollständig angeschlossen enthältInformationen zusammenGeschiecht kopie kreuzt datum verringertWahrscheinlichkeit entwicklungsForm disjunkt istDistributiv dokumentation &%dauer von %1 ist %2 %n{nicht} früh herausgeber element beschäftigt %1 ist gleich %2 %n{nicht} äquivalenzrelationMit nutztAus inSpracheAusgedrückt stelltGegenüber verwandt füllt beendet frequenz graphenTeil grösserAls grösserAlsOderGleich hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement direkterFall direckteTeilkategorie inListe imBereichInteresses vergrössertWahrscheinlichkeit Unabhänigkeitswahrscheinlichkeit wohnt hemmt ausgangsList fall umkehrFunktion irreflexivAur grösser kleinerAls kleinerAlsOderGleich weise material mass schliesstZeitlichAn mitglied modalesAttribute decktSichZeitlich elternteil teilweiseEinrichtung fülltTeilweise befindetSichTeils pfadLänge dringtEin besitzt vorbedingung verhindert korrektesTeil fülltRichtig eigenschaft veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie realizierung beziehtSichAuf reflexivAuf verwandtesInnenkonzept geschwister kleiner beginnt teilAttribut teilsammlung teilGraph teilliste subProzess %1 ist eine &%teilangelegenheit von %2 %n{nicht} teilkategorie teilrelation fasstInhaltsKategorieZusammen fasstInhaltsFallZusammen nachfolgerAttribut nachfolgerAttributSchliessung fläche zeitlichesTeil zeit gesamteinrichtung verwendet valenz version

Type restrictions

trichotomizingOn(zweiwertige Relation, Menge oder Kategorie)

Axioms (6)

kleinerAls ist eine trichotomizierung auf reelle Zahl .

(trichotomizingOn lessThan RealNumber)

grösserAls ist eine trichotomizierung auf reelle Zahl .

(trichotomizingOn greaterThan RealNumber)

kleinerAlsOderGleich ist eine trichotomizierung auf reelle Zahl .

(trichotomizingOn lessThanOrEqualTo RealNumber)

grösserAlsOderGleich ist eine trichotomizierung auf reelle Zahl .

(trichotomizingOn greaterThanOrEqualTo RealNumber)

relation ist eine gesampteinrichtung auf class nur wenn relation ist eine teilweise Einrichtung auf class und relation ist eine trichotomizierung auf class .

(<=>
      (totalOrderingOn ?RELATION ?CLASS)
      (and
            (partialOrderingOn ?RELATION ?CLASS)
            (trichotomizingOn ?RELATION ?CLASS)))

wenn relation ist eine trichotomizierung auf class ,
dann für jeden inst1,inst2 gilt: wenn inst1 ist ein fall von class und inst2 ist ein fall von class , dann relation(inst1,inst2) gilt oder relation(inst2,inst1) gilt oder inst1 ist gleich inst2

(=>
      (trichotomizingOn ?RELATION ?CLASS)
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (or
                        (holds ?RELATION ?INST1 ?INST2)
                        (holds ?RELATION ?INST2 ?INST1)
                        (equal ?INST1 ?INST2)))))