xiao3 yu1 (lessThan)

(lessThan number1 number2) is true just in case the Quantity number1 is less than the Quantity number2.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

ke3 di4 guan1 xi4
is instance of

fei1 fan3 shen1 guan1 xi4
is instance of

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

yu3 liang4 guan1 xi4
is instance of

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

lessThan(shu4 liang4, shu4 liang4)

Related WordNet synsets

less: smaller in amount or degree: "the less I see of you the better"; "people have lost their heads for less"

See more related synsets on a separate page.

Axioms (21)

xiao3 yu1 dui4 shi2 shu4 shi4 san1 fen1 fa3.

(trichotomizingOn lessThan RealNumber)

da4 yu1 shi4 xiao3 yu1 de5 dao4 xu4.

(inverse greaterThan lessThan)

number1 小於或等於 number2 if and only if number1 deng3 yu1 number2 or number1 xiao3 yu1 number2.

(<=>
      (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
      (or
            (equal ?NUMBER1 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2)))

number shi4 fu4 shi2 shu4 de5 shi2 li4 if and only if number xiao3 yu1 and number shi4 shi2 shu4 de5 shi2 li4.

(<=>
      (instance ?NUMBER NegativeRealNumber)
      (and
            (lessThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))

rel shi4 quan2 zhi2 guan1 xi4 de5 shi2 li4 if and only if there exists valence so_that_not rel shi4 guan1 xi4 de5 shi2 li4 and rel %&有論元(s) valence and

if for all number,element,class holds: if number xiao3 yu1 valence and rel de5 lun4 yuan2 number shi4 class de5 shi2 li4 and element deng3 yu1 ""()" de5 di4 er4 yuan2 su4", then element shi4 class de5 shi2 li4,
then there exists item so_that_not rel(,item) (bu2) cheng2 li4s

(<=>
      (instance ?REL TotalValuedRelation)
      (exists
            (?VALENCE)
            (and
                  (instance ?REL Relation)
                  (valence ?REL ?VALENCE)
                  (=>
                        (forall
                              (?NUMBER ?ELEMENT ?CLASS)
                              (=>
                                    (and
                                          (lessThan ?NUMBER ?VALENCE)
                                          (domain ?REL ?NUMBER ?CLASS)
                                          (equal
                                                ?ELEMENT
                                                (ListOrderFn
                                                      (ListFn @ROW)
                                                      ?NUMBER)))
                                    (instance ?ELEMENT ?CLASS)))
                        (exists
                              (?ITEM)
                              (holds ?REL @ROW ?ITEM))))))

If formula1 (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4 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 xiao3 yu1 number1.

(=>
      (and
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (lessThan ?NUMBER2 ?NUMBER1))

if list shi4 xu4 lie4 de5 shi2 li4,
then there exists number1 so_that_not there exists item1 so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item1 and for all number2 holds: if number2 shi4 zheng4 zheng3 shu4 de5 shi2 li4 and number2 xiao3 yu1 number1, then there exists item2 so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item2

(=>
      (instance ?LIST List)
      (exists
            (?NUMBER1)
            (exists
                  (?ITEM1)
                  (and
                        (not
                              (equal
                                    (ListOrderFn ?LIST ?NUMBER1)
                                    ?ITEM1))
                        (forall
                              (?NUMBER2)
                              (=>
                                    (and
                                          (instance ?NUMBER2 PositiveInteger)
                                          (lessThan ?NUMBER2 ?NUMBER1))
                                    (exists
                                          (?ITEM2)
                                          (equal
                                                (ListOrderFn ?LIST ?NUMBER2)
                                                ?ITEM2))))))))

If "number de5 shang4 xian4" deng3 yu1 int, then there doesn't exist zheng3 shu4 otherint so_that_not otherint da4 yu1 huo4 deng3 yu1 number and otherint xiao3 yu1 int.

(=>
      (equal
            (CeilingFn ?NUMBER)
            ?INT)
      (not
            (exists
                  (?OTHERINT)
                  (and
                        (instance ?OTHERINT Integer)
                        (greaterThanOrEqualTo ?OTHERINT ?NUMBER)
                        (lessThan ?OTHERINT ?INT)))))

if " de5 zui4 xiao3 gong1 bei4 shu4" deng3 yu1 number,
then there doesn't exist less so_that_not less xiao3 yu1 number and for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "less qu3 yu2 shu4 element" deng3 yu1

(=>
      (equal
            (LeastCommonMultipleFn @ROW)
            ?NUMBER)
      (not
            (exists
                  (?LESS)
                  (and
                        (lessThan ?LESS ?NUMBER)
                        (forall
                              (?ELEMENT)
                              (=>
                                    (inList
                                          ?ELEMENT
                                          (ListFn @ROW))
                                    (equal
                                          (RemainderFn ?LESS ?ELEMENT)
                                          0)))))))

If "number1 he2 number2 de5 zui4 xiao3 zhi2 " deng3 yu1 number, then

number deng3 yu1 number1 and number1 xiao3 yu1 number2
number deng3 yu1 number2 and number2 xiao3 yu1 number1
number deng3 yu1 number1 and number deng3 yu1 number2

(=>
      (equal
            (MinFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (or
            (and
                  (equal ?NUMBER ?NUMBER1)
                  (lessThan ?NUMBER1 ?NUMBER2))
            (and
                  (equal ?NUMBER ?NUMBER2)
                  (lessThan ?NUMBER2 ?NUMBER1))
            (and
                  (equal ?NUMBER ?NUMBER1)
                  (equal ?NUMBER ?NUMBER2))))

if "zheng3 shu4 1" deng3 yu1 number2,
then
- if "(number1-"zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 number1")" xiao3 yu1 , then number2 deng3 yu1 "zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 number1"
- if "(number1-"zui4 da4 zheng3 shu4 xiao3 yu1 huo4 deng3 yu1 number1")" da4 yu1 huo4 deng3 yu1 , then number2 deng3 yu1 "number1 de5 shang4 xian4"

(=>
      (equal
            (RoundFn ?NUMBER1)
            ?NUMBER2)
      (or
            (=>
                  (lessThan
                        (SubtractionFn
                              ?NUMBER1
                              (FloorFn ?NUMBER1))
                        0.5)
                  (equal
                        ?NUMBER2
                        (FloorFn ?NUMBER1)))
            (=>
                  (greaterThanOrEqualTo
                        (SubtractionFn
                              ?NUMBER1
                              (FloorFn ?NUMBER1))
                        0.5)
                  (equal
                        ?NUMBER2
                        (CeilingFn ?NUMBER1)))))

If int shi4 zheng3 shu4 de5 shi2 li4, then int xiao3 yu1 "(int+1)".

(=>
      (instance ?INT Integer)
      (lessThan
            ?INT
            (SuccessorFn ?INT)))

If int1 shi4 zheng3 shu4 de5 shi2 li4 and int2 shi4 zheng3 shu4 de5 shi2 li4, then int1 xiao3 yu1 int2 or int2 xiao3 yu1 "(int1+1)".

(=>
      (and
            (instance ?INT1 Integer)
            (instance ?INT2 Integer))
      (not
            (and
                  (lessThan ?INT1 ?INT2)
                  (lessThan
                        ?INT2
                        (SuccessorFn ?INT1)))))

If int1 shi4 zheng3 shu4 de5 shi2 li4 and int2 shi4 zheng3 shu4 de5 shi2 li4, then int2 xiao3 yu1 int1 or "(int1+2)" xiao3 yu1 int2.

(=>
      (and
            (instance ?INT1 Integer)
            (instance ?INT2 Integer))
      (not
            (and
                  (lessThan ?INT2 ?INT1)
                  (lessThan
                        (PredecessorFn ?INT1)
                        ?INT2))))

There don't exist hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 xiang1 jiao1 lu4 jing4 path1,hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 zui4 xiao3 xiang1 jiao1 lu4 jing4 path2 so_that_not path1 de5 lu4 jing4 chang2 shi4 number1 and path2 de5 lu4 jing4 chang2 shi4 number2 and number1 xiao3 yu1 number2.

(not
      (exists
            (?PATH1 ?PATH2)
            (and
                  (instance
                        ?PATH1
                        (CutSetFn ?GRAPH))
                  (instance
                        ?PATH2
                        (MinimalCutSetFn ?GRAPH))
                  (pathLength ?PATH1 ?NUMBER1)
                  (pathLength ?PATH2 ?NUMBER2)
                  (lessThan ?NUMBER1 ?NUMBER2))))

If hour shi4 "xiao3 shi2 number" de5 shi2 li4, then number xiao3 yu1 .

(=>
      (instance
            ?HOUR
            (HourFn ?NUMBER ?DAY))
      (lessThan ?NUMBER 24))

If minute shi4 "fen1 zhong1 number" de5 shi2 li4, then number xiao3 yu1 .

(=>
      (instance
            ?MINUTE
            (MinuteFn ?NUMBER ?HOUR))
      (lessThan ?NUMBER 60))

If second shi4 "miao3 zhong1 han2 shu4(number,minute)" de5 shi2 li4, then number xiao3 yu1 .

(=>
      (instance
            ?SECOND
            (SecondFn ?NUMBER ?MINUTE))
      (lessThan ?NUMBER 60))

If decrease shi4 jian3 shao3 de5 shi2 li4 and obj shi4 decrease de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 quant1.

(=>
      (and
            (instance ?DECREASE Decreasing)
            (patient ?DECREASE ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?DECREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?DECREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (lessThan ?QUANT2 ?QUANT1))))

If cool shi4 jiang4 wen1 de5 shi2 li4 and obj shi4 cool de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 quant1.

(=>
      (and
            (instance ?COOL Cooling)
            (patient ?COOL ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (lessThan ?QUANT2 ?QUANT1))))

if
- path1 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4
- process (bu2) qi3 yuan2s yu1 source
- process (bu2) zhong1 jie2not(s) dest
- path1 de5 chang2 du4 shi4 measure1
- there don't exist path2,measure2 so_that_not path2 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4 and process (bu2) qi3 yuan2s yu1 origin and process (bu2) zhong1 jie2not(s) dest and path2 de5 chang2 du4 shi4 measure2 and measure2 xiao3 yu1 measure1
,
then for all obj holds: if obj shi4 path1 de5 bu4 fen5), then obj jie4 yu1 source he2 dest zhong1 jian1

(=>
      (and
            (path ?PROCESS ?PATH1)
            (origin ?PROCESS ?SOURCE)
            (destination ?PROCESS ?DEST)
            (length ?PATH1 ?MEASURE1)
            (not
                  (exists
                        (?PATH2 ?MEASURE2)
                        (and
                              (path ?PROCESS ?PATH2)
                              (origin ?PROCESS ?ORIGIN)
                              (destination ?PROCESS ?DEST)
                              (length ?PATH2 ?MEASURE2)
                              (lessThan ?MEASURE2 ?MEASURE1)))))
      (forall
            (?OBJ)
            (=>
                  (part ?OBJ ?PATH1)
                  (between ?SOURCE ?OBJ ?DEST))))