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

Formal Language: 



KB Term: 

  List

 Sigma KEE - List
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
Lista
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 Abstrato Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.
Children AlbumAn Album is a List of Recordings that are packaged and sold as a unit.
 ConsecutiveTimeIntervalListConsecutiveTimeIntervalList is a sequence of continuous TimeIntervals in a List.
 MeasuringListMeasuringList is a sequence of Measuring Processes arranged in a List.
 MeasuringResultListMeasuringResultList is a List of Quantity containing the &results corresponding to a sequence of Measuring &Processes.
 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.
 NumberListNumberList is a List of Numbers.
 SRPResultsA List containing WebListings or WebPages the is the result of a BestMatchAlgorithm, and is a component of a SearchResultsPage.
 Lista UnicaA 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 full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners