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

# 反面函數 (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

 種類

可繼承關係

空間關係
 種類

可繼承關係

一元函數
 不對稱關係
 非反身關係

反面函數

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

If obj自身連續物體實例, then "obj反面" 是 obj部分).
(=>
(instance ?OBJ SelfConnectedObject)
(part
(BackFn ?OBJ)
?OBJ))