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.
SUMO / BASE-ONTOLOGY
partial valued relation
relation extended to quantities
single valued relation
total valued relation
variable arity relation
list concatenate fn
list length fn
list order fn
Related WordNet synsets
See more related synsets on a separate page.
relation is exhaustively partitioned into predicate,function,list.
(partition Relation Predicate Function List)
- if list is an instance of list,
- then there exists number1 so that there exists item1 so that "number1th element of list" is not equal to item1 and for all number2 holds: if number2 is an instance of positive integer and number2 is less than number1, then there exists item2 so that "number2th element of list" is equal to item2.
(instance ?LIST List)
(ListOrderFn ?LIST ?NUMBER1)
(instance ?NUMBER2 PositiveInteger)
(lessThan ?NUMBER2 ?NUMBER1))
(ListOrderFn ?LIST ?NUMBER2)
If list1 is an instance of list and list2 is an instance of list and for all number holds: "numberth element of list1" is equal to "numberth element of list2", then list1 is equal to list2.
(instance ?LIST1 List)
(instance ?LIST2 List)
(ListOrderFn ?LIST1 ?NUMBER)
(ListOrderFn ?LIST2 ?NUMBER))))
(equal ?LIST1 ?LIST2))