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
リスト
すべての List は、特定の順序付けされた項目の n タプル である。一般的に、ListListFn Function によって作成され、任意の数の項目を引数として受け 取り、同じ順序で項目を持つ List を返す。他の List を含むものはすべて、List 内の項目であって もよい。注:List は拡張子であり、同じ順序で同じ項目を持つ2つのリストが同じである場合もある。  注2:List には項目が含まれていない可能性がある。その場合、ListNullList である。
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.
 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.
 ユニークリスト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 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