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

datum (date)

A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

is instance of

inheritable relation

is instance of

zweistellige Prädikat
is instance of

is instance of

is instance of

inheritable relation

is instance of

einwertige Relation
is instance of

is instance of

asymmetrische Relation
is instance of

is instance of

is instance of

datum

Superrelation(s)

is subrelation of

datum

Coordinate term(s)

RückseiteFn KardinalitätFn FrontseiteFn HauptwirtFn Wahrscheinlichkeit OberflächeFn alter altitude arctusGewicht attribut schreibt vorOderGleichzeitig verursacht causes subclass bürger aufgeschlossen fülltVollständig angeschlossen enthältInformationen zusammenGeschiecht kopie kreuzt verringertWahrscheinlichkeit depth entwicklungsForm disjunkt abstand 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 vater 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 finanzielleWert mutter 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 trichotomizierungAuf einzigartigerBezeichner verwendet valenz version breite

Type restrictions

date(körperlicher Gegenstand, Tag)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Wenn "ausgabe int1 von text" ist gleich edition1 und "ausgabe int2 von text" ist gleich edition2 und int2 ist grösserAls int1 und pub1 ist ein fall von Publikation und pub2 ist ein fall von Publikation und edition1 ist ein patient von pub1 und edition2 ist ein patient von pub2 und datum von pub1 ist date1 und datum von pub2 ist date2 , dann "das ende von date1" geschieht vor "das ende von date2" .

(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))

Wenn text ist eine teilkategorie von Zeitschrift und "Band int1 in der reihe text" ist gleich volume1 und "Band int2 in der reihe text" ist gleich volume2 und int2 ist grösserAls int1 und pub1 ist ein fall von Publikation und pub2 ist ein fall von Publikation und volume1 ist ein patient von pub1 und volume2 ist ein patient von pub2 und datum von pub1 ist date1 und datum von pub2 ist date2 , dann "das ende von date1" geschieht vor "das ende von date2" .

(=>
      (and
            (subclass ?TEXT Periodical)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT1)
                  ?VOLUME1)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT2)
                  ?VOLUME2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?VOLUME1)
            (patient ?PUB2 ?VOLUME2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))