Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 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
 Classe

inheritable relation

FunzioneUnaria
 RelazioneAsimmetrica
 RelazioneNonRiflessiva

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