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

# 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

 Entitá

Astratto

Relazione

Lista

null list

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)`

```(=>
(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))```