Simple Browser
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
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
Every
List
is a particular ordered n-tuple of items. Generally speaking,
List
s 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
List
s, may be an item in a
List
. Note too that
List
s 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
Abstract
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
Album
An
Album
is a
List
of
Recording
s that are packaged and sold as a unit.
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
is a sequence of continuous
TimeInterval
s in a
List
.
MeasuringList
MeasuringList
is a sequence of
Measuring
Process
es arranged in a
List
.
MeasuringResultList
MeasuringResultList
is a
List
of
Quantity
containing the &results corresponding to a sequence of
Measuring
&Processes.
MusicChart
MusicChart
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
NumberList
is a
List
of
Number
s.
SRPResults
A
List
containing
WebListing
s or
WebPage
s the is the result of a
BestMatchAlgorithm
, and is a
component
of a
SearchResultsPage
.
UniqueList
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