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

er4 yuan2 han2 shu4 (BinaryFunction)

The Class of Functions that require two arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 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
  san1 yuan2 guan1 xi4  
is subclass of
is subclass of
  er4 yuan2 han2 shu4  

Instance(s)

lie4 xu4 han2 shu4  lie4 jie2 han2 shu4  wei4 zhi4 han2 shu4  cheng2 fa3 han2 shu4  jia1 fa3 han2 shu4  jian3 fa3 han2 shu4  chu2 fa3 han2 shu4  zhi3 shu4 han2 shu4  dui4 shu4 han2 shu4  zui4 da4 zhi2 han2 shu4  zui4 xiao3 zhi2 han2 shu4  yu2 shu4 han2 shu4  lian2 ji2 han2 shu4  jiao1 ji2 han2 shu4  guan1 xi4 hu4 bu3 han2 shu4  zhong3 lei4 miao2 shu4 han2 shu4  zui4 xiao3 liang4 lu4 jing4 han2 shu4  zui4 da4 liang4 lu4 jing4 han2 shu4  tu2 lu4 jing4 han2 shu4  ce4 liang4 han2 shu4  jian1 ge2 han2 shu4  mi4 du4 han2 shu4  su4 du4 han2 shu4  shi2 jian1 li4 cheng2 han2 shu4  zhou1 qi1 xing4 shi2 ju4 han2 shu4  yue4 fen4 han2 shu4  ri4 han2 shu4  xiao3 shi2 han2 shu4  fen1 zhong1 han2 shu4  miao3 zhong1 han2 shu4  shi2 jian1 dan1 wei4 han2 shu4  bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4  bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4  bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4  wen2 ben3 ban3 ben3 han2 shu4  xi4 lie4 yi1 juan4 han2 shu4  qi1 kan1 yi1 qi1 han2 shu4  xiang4 dui4 shi2 jian1 han2 shu4 

Subclass(es)

guan1 lian2 han2 shu4  ke3 huan4 han2 shu4 

Coordinate term(s)

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

fen1 pei4  tong2 yi1 yuan2 su4 

Axioms (2)

If function shi4 er4 yuan2 han2 shu4 de5 shi2 li4, 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))))