Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - List
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
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.
Relationships      
Parents Relation The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. A List, on the other hand, is a particular ordered n-tuple.
Children AlbumAn Album is a List of Recordings that are packaged and sold as a unit.
 MusicChartMusicChart is a ranked list of Album or MusicRecording that is deemed the most popular by some criteria, such as the number of sales or the airplay it receives from radio stations, and the like.
 SRPResultsA List containing WebListings or WebPages the is the result of a BestMatchAlgorithm, and is a component of a SearchResultsPage.
 UniqueListA List in which no item appears more than once,i.e. a List for which there are no distinct numbers ?NUMBER1 and ?NUMBER2 such that (ListOrderFn ?LIST ?NUMBER1) and (ListOrderFn ?LIST ?NUMBER2) return the same value.


Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners