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 抽象体 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.
 连续时间间隔表列ConsecutiveTimeIntervalList is a sequence of continuous TimeIntervals in a List.
 量度串列MeasuringList is a sequence of Measuring Processes arranged in a List.
 量度结果串列MeasuringResultList 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.
 数字串列NumberList 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.
 唯一串列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 3.0 is open source software produced by Articulate Software and its partners