Lista (List)

Every List is a particular ordered n-tuple of items. Generally speaking, Lists are created by means of the ListFn Function, which takes any number of items as arguments and returns a List with the items in the same order. Anything, including other Lists, may be an item in a List. Note too that Lists are extensional - two lists that have the same items in the same order are identical. Note too that a List may contain no items. In that case, the List is the NullList.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Entitá

Astratto

Relazione

Lista

Instance(s)

null list

Subclass(es)

ListaUnica

Coordinate term(s)

RelazioneBinaria RelazioneAValoreParziale Predicato RelazioneDiProbabilitá RelazioneQuaternaria RelazioneQuinquenaria RelazioneEstesaAQuantitá RelazioneMonovalente RelazioneSpaziale RelazioneTemporale RelazioneTernaria RelazioneAValoreTotale RelazioneAdAritáVariabile

Constrains relations

list concatenate fn list fn list length fn list order fn exists forall in list sub list

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

Relazione é esaustivamente partizionato in Predicato,Funzione,Lista.

(partition Relation Predicate Function List)

se list é un' istanza di Lista,
allora esiste number1 tale che esiste item1 tale che "number1th elemento di list" is not uguale a item1 e per ogni number2 vale: se number2 é un' istanza di NumeroInteroPositivo e number2 é meno dinumber1, allora esiste item2 tale che "number2th elemento di list" is uguale a 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))))))))

Se list1 é un' istanza di Lista e list2 é un' istanza di Lista e per ogni number vale: "numberth elemento di list1" is uguale a "numberth elemento di list2", allora list1 is uguale a list2.

(=>
      (and
            (instance ?LIST1 List)
            (instance ?LIST2 List)
            (forall
                  (?NUMBER)
                  (equal
                        (ListOrderFn ?LIST1 ?NUMBER)
                        (ListOrderFn ?LIST2 ?NUMBER))))
      (equal ?LIST1 ?LIST2))