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

yi1 yuan2 han2 shu4 (UnaryFunction)

The Class of Functions that require a single argument.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  yi1 yuan2 han2 shu4  

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  dan1 zhi2 guan1 xi4  
is subclass of
  han2 shu4  
is subclass of
[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  er4 yuan2 guan1 xi4  
is subclass of
is subclass of
  yi1 yuan2 han2 shu4  

Instance(s)

mi4 ji2 he2 han2 shu4  zheng4 mian4 han2 shu4  fan3 mian4 han2 shu4  miao2 shu4 han2 shu4  fan4 wei2 han2 shu4  huo4 ran2 lv4 han2 shu4  lie4 zhang3 han2 shu4  te4 xing4 han2 shu4  jue2 dui4 zhi2 han2 shu4  hu2 yu2 xian2  hu2 zheng4 xian2  hu2 zheng4 qie1  shang4 xian4 han2 shu4  yu2 xian2 han2 shu4  dan1 wei4 han2 shu4  xia4 xian4 han2 shu4  xu1 shu4 han2 shu4  zheng3 shu4 ping2 fang1 gen1 han2 shu4  fen1 zi3 han2 shu4  you3 li3 shu4 han2 shu4  shi2 shu4 han2 shu4  dao3 shu4 han2 shu4  zheng3 shu4 han2 shu4  zheng4 fu4 hao4 han2 shu4  zheng4 xian2 han2 shu4  ping2 fang1 gen1 han2 shu4  zheng4 qie1 han2 shu4  hou4 shu4 han2 shu4  qian2 shu4 han2 shu4  hu4 bu3 han2 shu4  gai4 hua4 lian2 ji2 han2 shu4  gai4 hua4 han2 shu4  ji4 shu4 han2 shu4  qi3 shi3 jie2 dian3 han2 shu4  zhong1 jie2 dian3 han2 shu4  zui4 chu1 jie2 dian3 han2 shu4  zui4 hou4 jie2 dian3 han2 shu4  lu4 jing4 liang4 han2 shu4  xiang1 jiao1 lu4 jing4 han2 shu4  zui4 xiao3 xiang1 jiao1 lu4 jing4 han2 shu4  qian1 ji4 han2 shu4  bai3 wan4 ji4 han2 shu4  shi2 yi4 ji4 han2 shu4  zhao4 ji4 han2 shu4  qian1 fen1 zhi1 yi1 ji4 han2 shu4  bai3 wan4 fen1 zhi1 yi1 ji4 han2 shu4  nai4 mi3 han2 shu4  zhao4 fen1 zhi1 yi1 ji4 han2 shu4  ji2 shu4 han2 shu4  cai2 chan3 han2 shu4  shi2 jian1 kai1 shi3 han2 shu4  shi2 jian1 jie2 shu4 han2 shi4  cun2 zai4 shi2 jian1 han2 shu4  guo4 qu4 shi2 jian1 han2 shi4  zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4  shi2 jian1 wei4 lai2 han2 shi4  zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4  nian2 fen4 han2 shu4  zhu3 ti1 han2 shu4  biao3 pi2 han2 shu4  zu3 zhi1 han2 shu4 

Subclass(es)

yi1 yuan2 heng2 ding4 han2 shu4 liang4  yi1 dui4 yi1 han2 shu4 

Coordinate term(s)

fan3 dui4 chen4 guan1 xi4  er4 yuan2 han2 shu4  er4 yuan2 shu4 ci2  er4 yuan2 guan1 xi4  ge2 wei4 jue2 se4  lian2 xu4 han2 shu4  han2 shu4  han2 shu4 liang4  yi4 tu2 guan1 xi4  fei1 ke3 di4 guan1 xi4  fei1 fan3 shen1 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  fan3 shen1 guan1 xi4  yu3 liang4 guan1 xi4  dan1 zhi2 guan1 xi4  kong1 jian1 guan1 xi4  dui4 chen4 guan1 xi4  shi2 jian1 guan1 xi4  san1 yuan2 han2 shu4  san1 yuan2 shu4 ci2  san1 yuan2 guan1 xi4  ke3 di4 guan1 xi4  san1 jiao3 guan1 xi4 

Axioms (2)

If function shi4 yi1 yuan2 han2 shu4 de5 shi2 li4, then function %&¦³ ½×¤¸(s) . 
(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))
(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION UnaryFunction))
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (instance
                        (AssignmentFn ?FUNCTION ?INST)
                        ?CLASS))))