RückseiteFn (BackFn)

A Function that maps an Object to the side that is opposite the FrontFn of the Object. Note that this is a partial function, since some Objects do not have sides, e.g. apples and spheres. Note too that the range of this Function is indefinite in much the way that ImmediateFutureFn and ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie

inheritable relation

räumliche Relation
is instance of

Kategorie

inheritable relation

einstellige Funktion
is instance of

asymmetrische Relation
is instance of

irreflexive Relation
is instance of

RückseiteFn

Coordinate term(s)

AbsolutbetragFn AbstraktionFn ArcuskosinusFn ArcussinusFn ArcustangensFn AnfangFn BeginNullPunktFn KardinalitätFn ObersteGrenzeFn ErgänzungFn KosinusFn SchnittMengeFn NennerFn EndeFn EndeNullPunktFn ExtensionFn UntersteGrenzeFn FrontseiteFn ZukunftFn GeneralisierteDurchschnittFn GeneralisierteVereinigungFn GigaFn ImaginäresTeilFn SofortigeZukunftFn DirektVergangenheitFn AusgangsNullPunktFn GanzzahlQuadratwurzelFn KiloFn ListeLängeFn GrösseFn MegaFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn MicroFn MilliFn MinimaleSchnittMengeFn NanoFn ZählerFn OrganisationFn VergangenheitFn PfadGewichtfn PicoFn PotenzMengeFn VorgängerFn HauptwirtFn Wahrscheinlichkeit EigentumFn RationaleZahlFn ReelleZahlfn ReziprokerWert RundFn SignumFn SinusFn OberflächeFn QuadratwurzelFn NachfolgerFn TangensFn TeraFn TerminalNullPunktFn Füllefn WennFn WoFn JahrFn attribut schreibt vor zwischen verursacht causes subclass bürger aufgeschlossen fülltVollständig angeschlossen angeschlosseneTechnikKomponenten schliesstAn enthältInformationen kreuzt datum verringertWahrscheinlichkeit entwicklungsForm disjunkt abstand dokumentation &%dauer von %1 ist %2 %n{nicht} während früh herausgeber element äquivalenzrelationMit nutztAus inSpracheAusgedrückt füllt beendet frequenz graphenTeil grösserAls hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement direkterFall direckteTeilkategorie inListe imBereichInteresses vergrössertWahrscheinlichkeit wohnt hemmt innenteil irreflexivAur grösser kleinerAls weise mass schliesstRäumlichAn schliesstZeitlichAn mitglied modalesAttribute lagebestimmung decktSichTeilweise elternteil teil teilweiseEinrichtung fülltTeilweise befindetSichTeils pfadLänge dringtEin besitzt vorbedingung verhindert korrektesTeil fülltRichtig veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie realizierung reflexivAuf geschwister kleiner beginnt teilsammlung unterOrganisation teilplan %1 ist eine &%teilangelegenheit von %2 %n{nicht} nachfolgerAttribut nachfolgerAttributSchliessung oberflächichesTeil fläche zeitlichesTeil zeit gesamteinrichtung überqürt trichotomizierungAuf verwendet valenz version

Type restrictions

selbstverbundener Gegenstand BackFn(selbstverbundener Gegenstand)

Related WordNet synsets

rear, back: the side that goes last or is not normally seen; "he wrote the date on the back of the photograph"
rear, backside, back end: the side of an object that is opposite its front; "his room was toward the rear of the hotel"
back(a): related to or located at the back; "the back yard"; "the back entrance"
back, backward, backwards, rearward, rearwards: at or to or toward or the back or rear; "he moved back"; "tripped when he stepped backward"; "she looked rearward out the window of the car"
behind: in or to or toward the rear; "he followed behind"; "seen from behind, the house is more imposing than it is from the front"; "the final runners were far behind"

See more related synsets on a separate page.

Axioms (1)

Wenn obj ist ein fall von selbstverbundener Gegenstand , dann "die rückseite von obj" ist ein teil von obj .

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))