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

函數 (Function)

A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a SetOrClass, and each element of the range is an instance of the SetOrClass.

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
  函數  

Instance(s)

指定函數  序列函數  最大公約數函數  最小公倍數函數 

Subclass(es)

函數量  一元函數  二元函數  三元函數  四元函數  連續函數 

Coordinate term(s)

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

Constrains relations

指定函數  封閉於  範圍  範圍次種類 

Related WordNet synsets

function
a relation such that one thing is dependent on another; "height is a function of age"; "price is a function of supply and demand"
function is kind of (all)...   function is kind of...  
See more related synsets on a separate page.

Axioms (2)

If rel(,inst) (不) 成立s and rel 是 函數 的 實例, then "rel()" 等於 inst. 
(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))
關係 完全 分割成 述詞,函數,序列. 
(partition Relation Predicate Function List)