in list (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)

varga

inheritable relation

dvi-lakshana
is instance of

anaatmavaachaka sambandha
is instance of

asaamanjasyapUrNa sambandha
is instance of

in list

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before before or equal causes causes subclass citizen closed on completely fills connected connected engineering components contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally member modal attribute overlaps partially overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

inList(astitva, sUchI)

Related WordNet synsets

listed: on a list

See more related synsets on a separate page.

Axioms (21)

Agar and ? are disjoint aur rel is a member of "()", to rel is an instance of sambandha.

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

Agar and ? are disjoint aur rel1 is a member of "()" aur rel2 is a member of "()" aur rel1 ke number konaanke bahanen hai, to rel2 ke number konaanke bahanen hai.

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

Agar and ? are disjoint aur rel1 is a member of "()" aur rel2 is a member of "()" aur rel1 is not equal to rel2 aur rel1() holds, to rel2() doesn't hold.

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

agar is opposed to ?,
to agar element is a member of "()", to element is an instance of visheshtaa

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

agar exhaustive attribute(class,) ke lie hai, ki,
to agar attr is a member of "()", to attr is an instance of visheshtaa

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

agar exhaustive attribute(class,) ke lie hai, ki,
to sab-kuch obj ke lie hai, ki: agar attr1 is an instance of class, to yah kuch attr2 nahin, ki attr2 is a member of "()" aur attr1 is equal to attr2

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

agar is covered by ,
to agar element is a member of "()", to element is an instance of varga

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

agar is disjointly decomposed into ,
to agar element is a member of "()", to element is an instance of varga

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

Agar rel is an instance of intentional relation aur rel(agent,) holds aur obj is a member of "()", to agent is interested in obj.

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

list is equal to null list agar hai yah kuch item nahin, ki item is a member of list.

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

agar class is covered by ,
to sab-kuch obj ke lie hai, ki: agar obj is an instance of class, to yah kuch item nahin, ki item is a member of "()" aur obj is an instance of item

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

agar class is disjointly decomposed into ,
to sab-kuch item ke lie hai, ki: agar item is a member of "()", to item is a subclass of class

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

agar class is disjointly decomposed into ,
to sab-kuch item1,item2 ke lie hai, ki: agar item1 is a member of "()" aur item2 is a member of "()" aur item1 is not equal to item2, to item1 asansavat item2 se hai

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

item is a member of list agar hai yah kuch number nahin, ki "numberth element of list" is equal to item.

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

agar list1 is a sublist of list2,
to sab-kuch item ke lie hai, ki: agar item is a member of list1, to item is a member of list2

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

agar list1 is a sublist of list2,
to yah kuch number3 nahin, ki sab-kuch item ke lie hai, ki: agar item is a member of list1, to yah kuch number1,number2 nahin, ki "number1th element of list1" is equal to item aur "number2th element of list2" is equal to item aur number2 is equal to "(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))))))))

agar "the greatest common divisor of " is equal to number,
to sab-kuch element ke lie hai, ki: agar element is a member of "()", to "element mod number" is equal to

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

agar "the greatest common divisor of " is equal to number,
to yah kuch greater nahin, ki greater is greater than number aur sab-kuch element ke lie hai, ki: agar element is a member of "()", to "element mod greater" is equal to

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

agar "the least common multiple of " is equal to number,
to sab-kuch element ke lie hai, ki: agar element is a member of "()", to "number mod element" is equal to

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

agar "the least common multiple of " is equal to number,
to yah kuch less nahin, ki less is less than number aur sab-kuch element ke lie hai, ki: agar element is a member of "()", to "less mod element" is equal to

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

Agar obj1 is attr1 to obj2 aur is opposed to ? aur attr1 is a member of "()" aur attr2 is a member of "()" aur attr1 is not equal to attr2, to obj1 is not attr2 to obj2.

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