han2 shu4 (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)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

han2 shu4

Superclass(es)

shi2 ti3

chou1 xiang4 de5

guan1 xi4

dan1 zhi2 guan1 xi4

han2 shu4

Instance(s)

zhi3 ding4 han2 shu4 xu4 lie4 han2 shu4 zui4 da4 gong1 yue1 shu4 han2 shu4 zui4 xiao3 gong1 bei4 shu4 han2 shu4

Subclass(es)

han2 shu4 liang4 yi1 yuan2 han2 shu4 er4 yuan2 han2 shu4 san1 yuan2 han2 shu4 si4 yuan2 han2 shu4 lian2 xu4 han2 shu4

Coordinate term(s)

er4 yuan2 han2 shu4 er4 yuan2 shu4 ci2 er4 yuan2 guan1 xi4 ge2 wei4 jue2 se4 yi4 tu2 guan1 xi4 shou4 shi4 dao3 xiang4 li4 cheng2 shu4 ci2 huo4 ran2 lv4 guan1 xi4 ming4 ti2 tai4 du4 si4 yuan2 han2 shu4 si4 yuan2 shu4 ci2 si4 yuan2 guan1 xi4 wu3 yuan2 shu4 ci2 wu3 yuan2 guan1 xi4 yu3 liang4 guan1 xi4 dan1 zhi2 guan1 xi4 kong1 jian1 guan1 xi4 shi2 jian1 guan1 xi4 san1 yuan2 han2 shu4 san1 yuan2 shu4 ci2 san1 yuan2 guan1 xi4 yi1 yuan2 han2 shu4

Constrains relations

zhi3 ding4 han2 shu4 feng1 bi4 yu1 fan4 wei2 fan4 wei2 ci4 zhong3 lei4

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"

See more related synsets on a separate page.

Axioms (2)

If rel(,inst) (bu2) cheng2 li4s and rel shi4 han2 shu4 de5 shi2 li4, then "rel()" deng3 yu1 inst.

(=>
      (and
            (holds ?REL @ROW ?INST)
            (instance ?REL Function))
      (equal
            (AssignmentFn ?REL @ROW)
            ?INST))

guan1 xi4 wan2 quan2 fen1 ge1 cheng2 shu4 ci2,han2 shu4,xu4 lie4.

(partition Relation Predicate Function List)