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:
Sigma KEE - Class
more pictures...
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
类
Class
在三个重要方面与
Set
不同:第一,我们不假设
Class
为能延伸的,也就是说不同的
Class
可能由完全相同的实例。第二,
Class
通常有一个决定该
Class
实例的附带`条件'。所以举例说:`人类' 决定
Human
的
Class
。注:有些
Class
可能满足自身 的条件(例如
Abstract
东西的
Class
是
Abstract
) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。
Relationships
Parents
集或类
The
SetOrClass
of
Set
s and
Class
es, i.e. any instance of
Abstract
that has
element
s or
instance
s.
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