Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

gesamteinrichtung (totalOrderingOn)

A BinaryRelation rel is a total ordering on a SetOrClass only if it is a partial ordering for which either (rel inst1 inst2) or (rel inst2 inst1) for every inst1 and inst2 in the SetOrClass.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Prädikat  
is instance of
asymmetrische Relation
is instance of
is instance of
  gesamteinrichtung  

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  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

totalOrderingOn(zweiwertige Relation, Menge oder Kategorie)

Axioms (1)

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