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:
NullList
Sigma KEE - NullList
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
,
NullList
的独特之处是因为
List
是可以延伸,也就是说俩个含有相同项目以相同顺序排列的列表是一样的。
Relationships
Instances
抽象体
这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
实体
The universal class of individuals. This is the root node of the ontology.
串列
每个
List
是项目一个独特有序的n元组。 一般来说,
List
是由
ListFn
Function
来造成的,它可以接受任何数量的参数,然后交出一个有相同顺序项目的
List
。 任何东西,包括其它的
List
都可以是一个
List
的项目。注:
List
是可以延伸的 - 两个含有相同项目以 相同顺序排列的列表是一样的。另外也注意 一个
List
可以是空项的,在这情况下,这个
List
是个
NullList
。
Belongs to Class
实体
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