chuan4 lie4 zhong1 (inList)

The analog of element and instance for Lists. (inList obj list) means that obj is in the List list. For example, (inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

fei1 fan3 shen1 guan1 xi4
is instance of

bu2 dui4 chen4 guan1 xi4
is instance of

chuan4 lie4 zhong1

Coordinate term(s)

fan3 mian4 han2 shu4 ji4 shu4 han2 shu4 zheng4 mian4 han2 shu4 zhu3 ti1 han2 shu4 huo4 ran2 lv4 han2 shu4 biao3 pi2 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 tian2 man3 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 tian2 chong1 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 zhi2 jie1 shi2 li4 zhi2 jie1 ci4 zhong3 lei4 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 cheng2 yuan2 qing2 tai4 shu3 xing4 bu4 fen5 zhong4 die2 shi2 duan4 zhong4 die2 雙親 pian1 xu4 yu1... bu4 fen5 tian2 chong1 bu4 fen5 wei4 yu1 lu4 jing4 chang2 chuan1 ru4 yong1 you3 xian1 jue2 tiao2 jian4 bi4 mian3 zheng4 bu4 fen5 shi4 dang4 tian2 chong1 te4 xing4 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 shi2 xian4 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 biao3 mian4 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Type restrictions

inList(shi2 ti3, xu4 lie4)

Related WordNet synsets

listed: on a list

See more related synsets on a separate page.

Axioms (21)

If wu2 jiao1 ji2 guan1 xi4() holds and rel shi4 "()" de5 yi1 cheng2 yuan2, then rel shi4 guan1 xi4 de5 shi2 li4.

(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL
                  (ListFn @ROW)))
      (instance ?REL Relation))

If wu2 jiao1 ji2 guan1 xi4() holds and rel1 shi4 "()" de5 yi1 cheng2 yuan2 and rel2 shi4 "()" de5 yi1 cheng2 yuan2 and rel1 %&有論元(s) number, then rel2 %&有論元(s) number.

(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL1
                  (ListFn @ROW))
            (inList
                  ?REL2
                  (ListFn @ROW))
            (valence ?REL1 ?NUMBER))
      (valence ?REL2 ?NUMBER))

If wu2 jiao1 ji2 guan1 xi4() holds and rel1 shi4 "()" de5 yi1 cheng2 yuan2 and rel2 shi4 "()" de5 yi1 cheng2 yuan2 and rel1 deng3 yu1 rel2 and rel1() (bu2) cheng2 li4s, then rel2() not(bu2) cheng2 li4.

(=>
      (and
            (disjointRelation @ROW1)
            (inList
                  ?REL1
                  (ListFn @ROW1))
            (inList
                  ?REL2
                  (ListFn @ROW1))
            (not
                  (equal ?REL1 ?REL2))
            (holds ?REL1 @ROW2))
      (not
            (holds ?REL2 @ROW2)))

if dui4 li4 yu1 ?,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 shu3 xing4 de5 shi2 li4

(=>
      (contraryAttribute @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Attribute)))

if qiong2 jin4 de5 shu3 xing4,
then if attr shi4 "()" de5 yi1 cheng2 yuan2, then attr shi4 shu3 xing4 de5 shi2 li4

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (=>
            (inList
                  ?ATTR
                  (ListFn @ROW))
            (instance ?ATTR Attribute)))

if qiong2 jin4 de5 shu3 xing4,
then for all obj holds: if attr1 shi4 class de5 shi2 li4, then there exists attr2 so_that_not attr2 shi4 "()" de5 yi1 cheng2 yuan2 and attr1 deng3 yu1 attr2

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?ATTR1 ?CLASS)
                  (exists
                        (?ATTR2)
                        (and
                              (inList
                                    ?ATTR2
                                    (ListFn @ROW))
                              (equal ?ATTR1 ?ATTR2))))))

if bei4 bao1 han2,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 zhong3 lei4 de5 shi2 li4

(=>
      (exhaustiveDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

if wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 zhong3 lei4 de5 shi2 li4

(=>
      (disjointDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

If rel shi4 yi4 tu2 guan1 xi4 de5 shi2 li4 and rel(agent,) (bu2) cheng2 li4s and obj shi4 "()" de5 yi1 cheng2 yuan2, then agent zai4 obj fan4 wei2 zhong1.

(=>
      (and
            (instance ?REL IntentionalRelation)
            (holds ?REL ?AGENT @ROW)
            (inList
                  ?OBJ
                  (ListFn @ROW)))
      (inScopeOfInterest ?AGENT ?OBJ))

list deng3 yu1 kong1 lie4 if and only if there doesn't exist item so_that_not item shi4 list de5 yi1 cheng2 yuan2.

(<=>
      (equal ?LIST NullList)
      (not
            (exists
                  (?ITEM)
                  (inList ?ITEM ?LIST))))

if class bei4 bao1 han2,
then for all obj holds: if obj shi4 class de5 shi2 li4, then there exists item so_that_not item shi4 "()" de5 yi1 cheng2 yuan2 and obj shi4 item de5 shi2 li4

(=>
      (exhaustiveDecomposition ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?OBJ ?CLASS)
                  (exists
                        (?ITEM)
                        (and
                              (inList
                                    ?ITEM
                                    (ListFn @ROW))
                              (instance ?OBJ ?ITEM))))))

if class wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then for all item holds: if item shi4 "()" de5 yi1 cheng2 yuan2, then item shi4 class de5 ci4 zhong3 lei4

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM)
            (=>
                  (inList
                        ?ITEM
                        (ListFn @ROW))
                  (subclass ?ITEM ?CLASS))))

if class wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then for all item1,item2 holds: if item1 shi4 "()" de5 yi1 cheng2 yuan2 and item2 shi4 "()" de5 yi1 cheng2 yuan2 and item1 deng3 yu1 item2, then item1 wu2 jiao1 ji2 yu1 item2

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM1 ?ITEM2)
            (=>
                  (and
                        (inList
                              ?ITEM1
                              (ListFn @ROW))
                        (inList
                              ?ITEM2
                              (ListFn @ROW))
                        (not
                              (equal ?ITEM1 ?ITEM2)))
                  (disjoint ?ITEM1 ?ITEM2))))

item shi4 list de5 yi1 cheng2 yuan2 if and only if there exists number so_that_not "list de5 di4 er4 yuan2 su4" deng3 yu1 item.

(<=>
      (inList ?ITEM ?LIST)
      (exists
            (?NUMBER)
            (equal
                  (ListOrderFn ?LIST ?NUMBER)
                  ?ITEM)))

if list1 shi4 list2 de5 ci4 xu4 lie4,
then for all item holds: if item shi4 list1 de5 yi1 cheng2 yuan2, then item shi4 list2 de5 yi1 cheng2 yuan2

(=>
      (subList ?LIST1 ?LIST2)
      (forall
            (?ITEM)
            (=>
                  (inList ?ITEM ?LIST1)
                  (inList ?ITEM ?LIST2))))

if list1 shi4 list2 de5 ci4 xu4 lie4,
then there exists number3 so_that_not for all item holds: if item shi4 list1 de5 yi1 cheng2 yuan2, then there exist number1,number2 so_that_not "list1 de5 di4 er4 yuan2 su4" deng3 yu1 item and "list2 de5 di4 er4 yuan2 su4" deng3 yu1 item and number2 deng3 yu1 "(number1+number3)"

(=>
      (subList ?LIST1 ?LIST2)
      (exists
            (?NUMBER3)
            (forall
                  (?ITEM)
                  (=>
                        (inList ?ITEM ?LIST1)
                        (exists
                              (?NUMBER1 ?NUMBER2)
                              (and
                                    (equal
                                          (ListOrderFn ?LIST1 ?NUMBER1)
                                          ?ITEM)
                                    (equal
                                          (ListOrderFn ?LIST2 ?NUMBER2)
                                          ?ITEM)
                                    (equal
                                          ?NUMBER2
                                          (AdditionFn ?NUMBER1 ?NUMBER3))))))))

if " de5 zui4 da4 gong1 yue1 shu4" deng3 yu1 number,
then for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "element qu3 yu2 shu4 number" deng3 yu1

(=>
      (equal
            (GreatestCommonDivisorFn @ROW)
            ?NUMBER)
      (forall
            (?ELEMENT)
            (=>
                  (inList
                        ?ELEMENT
                        (ListFn @ROW))
                  (equal
                        (RemainderFn ?ELEMENT ?NUMBER)
                        0))))

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

(=>
      (equal
            (GreatestCommonDivisorFn @ROW)
            ?NUMBER)
      (not
            (exists
                  (?GREATER)
                  (and
                        (greaterThan ?GREATER ?NUMBER)
                        (forall
                              (?ELEMENT)
                              (=>
                                    (inList
                                          ?ELEMENT
                                          (ListFn @ROW))
                                    (equal
                                          (RemainderFn ?ELEMENT ?GREATER)
                                          0)))))))

if " de5 zui4 xiao3 gong1 bei4 shu4" deng3 yu1 number,
then for all element holds: if element shi4 "()" de5 yi1 cheng2 yuan2, then "number qu3 yu2 shu4 element" deng3 yu1

(=>
      (equal
            (LeastCommonMultipleFn @ROW)
            ?NUMBER)
      (forall
            (?ELEMENT)
            (=>
                  (inList
                        ?ELEMENT
                        (ListFn @ROW))
                  (equal
                        (RemainderFn ?NUMBER ?ELEMENT)
                        0))))

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 obj1 dui4 obj2 shi4 attr1 and dui4 li4 yu1 ? and attr1 shi4 "()" de5 yi1 cheng2 yuan2 and attr2 shi4 "()" de5 yi1 cheng2 yuan2 and attr1 deng3 yu1 attr2, then obj1 dui4 obj2 shi4 not attr2.

(=>
      (and
            (orientation ?OBJ1 ?OBJ2 ?ATTR1)
            (contraryAttribute @ROW)
            (inList
                  ?ATTR1
                  (ListFn @ROW))
            (inList
                  ?ATTR2
                  (ListFn @ROW))
            (not
                  (equal ?ATTR1 ?ATTR2)))
      (not
            (orientation ?OBJ1 ?OBJ2 ?ATTR2)))