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

二元函數 (BinaryFunction)

The Class of Functions that require two arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  二元函數  

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  單值關係  
is subclass of
  函數  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  三元關係  
is subclass of
is subclass of
  二元函數  

Instance(s)

列序函數  列結函數  位置函數  乘法函數  加法函數  減法函數  除法函數  指數函數  對數函數  最大值函數  最小值函數  餘數函數  聯集函數  交集函數  關係互補函數  種類描述函數  最小量路徑函數  最大量路徑函數  圖路徑函數  測量函數  間隔函數  密度函數  速度函數  時間歷程函數  週期性時距函數  月份函數  日函數  小時函數  分鐘函數  秒鐘函數  時間單位函數  部分整體加總函數  部分整體交集函數  部分整體差異函數  （文本）版本函數  系列一卷函數  期刊一期函數  相對時間函數 

Subclass(es)

關連函數  可換函數 

Coordinate term(s)

二元述詞  二元關係  格位角色  連續函數  函數  函數量  意圖關係  受事導向（歷程）  述詞  或然率關係  命題態度  四元函數  四元述詞  四元關係  五元述詞  五元關係  與量關係  單值關係  空間關係  時間關係  三元函數  三元述詞  三元關係  一元函數 

Constrains relations

分配  同一元素 

Axioms (2)

If function 是 二元函數 的 實例, then function %&有 論元(s) . 
(=>
      (instance ?FUNCTION BinaryFunction)
      (valence ?FUNCTION 2))
(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION BinaryFunction))
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (instance
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        ?CLASS))))