back fn (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)

Classe

inheritable relation

RelazioneSpaziale
is instance of

Classe

inheritable relation

FunzioneUnaria
is instance of

RelazioneAsimmetrica
is instance of

RelazioneNonRiflessiva
is instance of

back fn

Coordinate term(s)

absolute value fn abstraction fn arc cosine fn arc sine fn arc tangent fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn mereological difference fn mereological product fn mereological sum fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn round fn signum fn sine fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn where fn year fn attribute authors before between causes causes subclass citizen closed on completely fills connected connected engineering components connects contains information crosses date decreases likelihood developmental form disjoint distance documentation duration during earlier editor element equivalence relation on exploits expressed in language fills finishes frequency graph part greater than has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood inhabits inhibits interior part irreflexive on larger less than manner measure meets spatially meets temporally member modal attribute orientation overlaps partially parent part partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills publishes range range subclass realization reflexive on sibling smaller starts sub collection sub organizations sub plan sub proposition successor attribute successor attribute closure superficial part surface temporal part time total ordering on traverses trichotomizing on uses valence version

Type restrictions

OggettoIntegro BackFn(OggettoIntegro)

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)

Se obj é un' istanza di OggettoIntegro, allora "il dietro di obj" é una parte di obj.

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