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 是项目一个独特有序的n元组。 一般来说,List 是由 ListFn Function 来造成的,它可以接受任何数量的参数,然后交出一个有相同顺序项目的 List。 任何东西,包括其它的 List 都可以是一个 List 的项目。注:List 是可以延伸的 - 两个含有相同项目以 相同顺序排列的列表是一样的。另外也注意 一个 List 可以是空项的,在这情况下,这个 List 是个 NullList
Relationships      
Parents 关系 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.
 唯一串列A 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