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

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  空間關係  
is instance of
種類
is instance of
  可繼承關係  
is instance of
  一元函數  
is instance of
不對稱關係
is instance of
非反身關係
is instance of
is instance of
  反面函數  

Coordinate term(s)

絕對值函數  描述函數  弧餘弦  弧正弦  弧正切  （時間）開始函數  最初節點函數  計數函數  上限函數  互補函數  餘弦函數  相交路徑函數  單位函數  （時間）結束函式  最後節點函數  範圍函數  下限函數  正面函數  （時間）未來函式  概化函數  概化聯集函數  十億計函數  虛數函數  最近未來時間函數  最近過去時間函數  起始節點函數  整數平方根函數  千計函數  列長函數  級數函數  百萬計函數  部分整體差異函數  部分整體交集函數  部分整體加總函數  百萬分之一計函數  千分之一計函數  最小相交路徑函數  奈米函數  分子函數  組織函數  過去時間函式  路徑量函數  兆分之一計函數  冪集合函數  前數函數  主體函數  或然率函數  特性函數  有理數函數  實數函數  倒數函數  整數函數  正負號函數  正弦函數  表皮函數  平方根函數  後數函數  正切函數  兆計函數  終節點函數  財產函數  存在時間函數  位置函數  年份函數  屬性  作者  先於  介於  肇因  次類肇因  公民  封閉於  填滿  相連的  已連結工程元件  相連  包含訊息  相交  日期  降低可能性  發展期形式  無交集  距離  文字說明  持續時間  期間  較早  編者  元素  等同關係於  利用  以...語言表達  填充  完成  次數  圖部分  大於  有意圖  有技巧  在...期間為真  須使...為真  有權使...為真  洞  同一元素  直接實例  直接次種類  串列中  在注意範圍中  增加可能性  居住  抑制  內部  非反射於...  大於  小於  方式/情狀  測量  空間上接觸  時段相接  成員  情態屬性  相對方位  部分重疊  雙親  部分  偏序於...  部分填充  部分位於  路徑長  穿入  擁有  先決條件  避免  正部分  適當填充  出版  範圍  範圍次種類  實現  反射於...  兄弟姊妹  小於  開始  次聚集  次組織  次計畫  次命題  續接屬性  封閉續接屬性  外表部分  表面  時間部分  時間  全序於...  橫越  三分法  使用  （結合）價  人造物版本 

Type restrictions

自身連續物體 BackFn(自身連續物體)

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 is opposite to...   rear is kind of (all)...   rear is kind of...   kinds of rear...   kinds of rear (all)...  
rear, backside, back end
the side of an object that is opposite its front; "his room was toward the rear of the hotel"
rear is opposite to...   rear is kind of (all)...   rear is kind of...   kinds of rear...   kinds of rear (all)...  
back(a)
related to or located at the back; "the back yard"; "the back entrance"
back(a) is opposite to...   see also...   back(a) is similar to...  
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"
back is opposite to...  
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))