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

da4 yu1 (greaterThan)

(greaterThan number1 number2) is true just in case the Quantity number1 is greater than the Quantity number2.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 yuan2 shu4 ci2  
is instance of
ke3 di4 guan1 xi4
is instance of
fei1 fan3 shen1 guan1 xi4
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  yu3 liang4 guan1 xi4  
is instance of
is instance of
  da4 yu1  

Coordinate term(s)

jia1 fa3 han2 shu4  fan3 mian4 han2 shu4  chu2 fa3 han2 shu4  zhi3 shu4 han2 shu4  zheng4 mian4 han2 shu4  zui4 da4 zhi2 han2 shu4  zui4 xiao3 zhi2 han2 shu4  cheng2 fa3 han2 shu4  dao3 shu4 han2 shu4  yu2 shu4 han2 shu4  zheng3 shu4 han2 shu4  jian3 fa3 han2 shu4  hu2 xian4 zhong4 liang4  shu3 xing4  zuo4 zhe3  xian1 yu1  xian1 yu1 huo4 tong5 shi2  zhao4 yin1  ci4 lei4 zhao4 yin1  gong1 min2  feng1 bi4 yu1  xiang1 lian2 de5  yi3 lian2 jie2 gong1 cheng2 yuan2 jian4  bao1 han2 xun4 xi1  gong4 sheng1  fu4 zhi4  xiang1 jiao1  ri4 qi1  jiang4 di1 ke3 neng2 xing4  fa1 zhan3 qi1 xing2 shi4  wu2 jiao1 ji2  fen1 pei4  wen2 zi4 shuo1 ming2  chi2 xu4 shi2 jian1  qi1 jian1  jiao4 zao3  bian1 zhe3  yuan2 su4  gu4 yong4  xiang1 deng3  deng3 tong2 guan1 xi4 yu1  li4 yong4  yi3...yu3 yan2 biao3 da2  mian4 dui4  jia1 zu2 guan1 xi4  wan2 cheng2  ci4 shu4  tu2 bu4 fen5  da4 yu1 huo4 deng3 yu1  you3 yi4 tu2  you3 ji4 qiao3  zai4...qi1 jian1 wei2 zhen1  xu1 shi3...wei2 zhen1  you3 quan2 shi3...wei2 zhen1  dong4  tong2 yi1 yuan2 su4  chuan4 lie4 zhong1  zai4 zhu4 yi4 fan4 wei2 zhong1  zeng1 jia1 ke3 neng2 xing4  du2 li4 huo4 ran2 lv4  ju1 zhu4  yi4 zhi4  chu1 shi3 hua4 xu4 lie4  shi2 li4  na4 bu4  dao4 xu4  fei1 fan3 she4 yu1...  da4 yu1  xiao3 yu1  xiao3 yu1 huo4 deng3 yu1  fang1 shi4/qing2 zhuang4  wu4 zhi4  ce4 liang4  kong1 jian1 shang4 jie1 chu4  shi2 duan4 xiang1 jie1  qing2 tai4 shu3 xing4  bu4 fen5 zhong4 die2  shi2 duan4 zhong4 die2  Âù¿Ë  pian1 xu4 yu1...  bu4 fen5 wei4 yu1  lu4 jing4 chang2  yong1 you3  xian1 jue2 tiao2 jian4  bi4 mian3  zheng4 bu4 fen5  te4 xing4  chu1 ban3  fan4 wei2  fan4 wei2 ci4 zhong3 lei4  ti2 ji2  fan3 she4 yu1...  SUMOna4 bu4 xiang1 guan1 gai4 nian4  xiong1 di4 zi3 mei4  xiao3 yu1  kai1 shi3  ci4 shu3 xing4  ci4 ju4 ji2  ci4 tu2  ci4 xu4 lie4  ci4 zu3 zhi1  ci4 ji4 hua4  ci4 li4 cheng2  ci4 ming4 ti2  ci4 zhong3 lei4  ci4 guan1 xi4  bao1 han2 xun4 xi1 zhong3 lei4  bao1 han2 xun4 xi1 shi2 li4  xu4 jie1 shu3 xing4  feng1 bi4 xu4 jie1 shu3 xing4  wai4 biao3 bu4 fen5  shi2 jian1 bu4 fen5  shi2 jian1  quan2 xu4 yu1...  san1 fen1 fa3  shi3 yong4  jie2 he2 jia4  ren2 zao4 wu4 ban3 ben3 

Type restrictions

greaterThan(shu4 liang4, shu4 liang4)

Related WordNet synsets

preponderance, prevalence
a superiority in numbers
preponderance is kind of (all)...   preponderance is kind of...  
more
a greater or additional quantity or number or degree or amount: "the more I see of you the more I like you"
more is kind of (all)...   more is kind of...  
See more related synsets on a separate page.

Axioms (17)

da4 yu1 dui4 shi2 shu4 shi4 san1 fen1 fa3. 
(trichotomizingOn greaterThan RealNumber)
da4 yu1 shi4 xiao3 yu1 de5 dao4 xu4. 
(inverse greaterThan lessThan)
number1 da4 yu1 huo4 deng3 yu1 number2 if and only if number1 deng3 yu1 number2 or number1 (bu2) da4 yu1 number2. 
(<=>
      (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
      (or
            (equal ?NUMBER1 ?NUMBER2)
            (greaterThan ?NUMBER1 ?NUMBER2)))
number shi4 zheng4 shi2 shu4 de5 shi2 li4 if and only if number (bu2) da4 yu1 and number shi4 shi2 shu4 de5 shi2 li4. 
(<=>
      (instance ?NUMBER PositiveRealNumber)
      (and
            (greaterThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
If formula1 (¤£¡^¼W¥[s) %2 ªº ¥i¯à©Ê and "formula2 de5 huo4 ran2 lv4" deng3 yu1 number1 and formula1 de5 ji1 lv4 shi4 formula2 zai4 formula2 wei2 zhen1 de5 qing2 kuang4 xia4 , then number2 (bu2) da4 yu1 number1. 
(=>
      (and
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (greaterThan ?NUMBER2 ?NUMBER1))
If "zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 number" deng3 yu1 int, then there doesn't exist zheng3 shu4 otherint so_that_not otherint ¤p©ó©Îµ¥©ó number and otherint (bu2) da4 yu1 int. 
(=>
      (equal
            (FloorFn ?NUMBER)
            ?INT)
      (not
            (exists
                  (?OTHERINT)
                  (and
                        (instance ?OTHERINT Integer)
                        (lessThanOrEqualTo ?OTHERINT ?NUMBER)
                        (greaterThan ?OTHERINT ?INT)))))
(=>
      (equal
            (GreatestCommonDivisorFn @ROW)
            ?NUMBER)
      (not
            (exists
                  (?GREATER)
                  (and
                        (greaterThan ?GREATER ?NUMBER)
                        (forall
                              (?ELEMENT)
                              (=>
                                    (inList
                                          ?ELEMENT
                                          (ListFn @ROW))
                                    (equal
                                          (RemainderFn ?ELEMENT ?GREATER)
                                          0)))))))
If "number1 he2 number2 de5 zui4 da4 zhi2 " deng3 yu1 number, then 
(=>
      (equal
            (MaxFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (or
            (and
                  (equal ?NUMBER ?NUMBER1)
                  (greaterThan ?NUMBER1 ?NUMBER2))
            (and
                  (equal ?NUMBER ?NUMBER2)
                  (greaterThan ?NUMBER2 ?NUMBER1))
            (and
                  (equal ?NUMBER ?NUMBER1)
                  (equal ?NUMBER ?NUMBER2))))
If int shi4 zheng3 shu4 de5 shi2 li4, then int (bu2) da4 yu1 "(int+2)". 
(=>
      (instance ?INT Integer)
      (greaterThan
            ?INT
            (PredecessorFn ?INT)))
(=>
      (larger ?OBJ1 ?OBJ2)
      (forall
            (?QUANT1 ?QUANT2)
            (=>
                  (and
                        (measure
                              ?OBJ1
                              (MeasureFn ?QUANT1 LengthMeasure))
                        (measure
                              ?OBJ2
                              (MeasureFn ?QUANT2 LengthMeasure)))
                  (greaterThan ?QUANT1 ?QUANT2))))
If obj dui4 proc shi4 zi1 yuan2 and obj de5 ce4 liang4 shi4 quant1 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj de5 ce4 liang4 shi4 quant2 ""proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "proc cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4, then quant1 (bu2) da4 yu1 quant2. 
(=>
      (and
            (resource ?PROC ?OBJ)
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?PROC))
                  (measure ?OBJ ?QUANT1))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?PROC))
                  (measure ?OBJ ?QUANT2)))
      (greaterThan ?QUANT1 ?QUANT2))
If increase shi4 zeng1 jia1 de5 shi2 li4 and obj shi4 increase de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 (bu2) da4 yu1 quant1. 
(=>
      (and
            (instance ?INCREASE Increasing)
            (patient ?INCREASE ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?INCREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?INCREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))
If heat shi4 jia1 wen1 de5 shi2 li4 and obj shi4 heat de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 (bu2) da4 yu1 quant1. 
(=>
      (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))
If "text de5 ban3 ben3 int1 " deng3 yu1 edition1 and "text de5 ban3 ben3 int2 " deng3 yu1 edition2 and int2 (bu2) da4 yu1 int1 and pub1 shi4 chu1 ban3 de5 shi2 li4 and pub2 shi4 chu1 ban3 de5 shi2 li4 and edition1 shi4 pub1 de5 shou4 shi4 zhe3 and edition2 shi4 pub2 de5 shou4 shi4 zhe3 and pub1 de5 ri4 qi1 shi4 date1 and pub2 de5 ri4 qi1 shi4 date2, then "date1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "date2 de5 jie2 shu4" zhi1 qian2. 
(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))
If text shi4 qi1 kan1 de5 ci4 zhong3 lei4 and "ce4 int1 zai4 xi4 lie4 shu4 text" deng3 yu1 volume1 and "ce4 int2 zai4 xi4 lie4 shu4 text" deng3 yu1 volume2 and int2 (bu2) da4 yu1 int1 and pub1 shi4 chu1 ban3 de5 shi2 li4 and pub2 shi4 chu1 ban3 de5 shi2 li4 and volume1 shi4 pub1 de5 shou4 shi4 zhe3 and volume2 shi4 pub2 de5 shou4 shi4 zhe3 and pub1 de5 ri4 qi1 shi4 date1 and pub2 de5 ri4 qi1 shi4 date2, then "date1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "date2 de5 jie2 shu4" zhi1 qian2. 
(=>
      (and
            (subclass ?TEXT Periodical)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT1)
                  ?VOLUME1)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT2)
                  ?VOLUME2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?VOLUME1)
            (patient ?PUB2 ?VOLUME2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))
If formula you3 shu3 xing4 ke3 neng2 de5, then ""formula &$shi4 zhen1 de5" de5 huo4 ran2 lv4" (bu2) da4 yu1 ""formula &$shi4 jia3 de5" de5 huo4 ran2 lv4". 
(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))
If formula you3 shu3 xing4 bu2 tai4 ke3 neng2 de5, then ""formula &$shi4 jia3 de5" de5 huo4 ran2 lv4" (bu2) da4 yu1 ""formula &$shi4 zhen1 de5" de5 huo4 ran2 lv4". 
(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))