Simple Browser
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
AsymmetricRelation
Sigma KEE - AsymmetricRelation
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
非对称关系
一个
BinaryRelation
属于不对称关系 当且仅当它既是一个
AntisymmetricRelation
又是一个
IrreflexiveRelation
。
Relationships
Parents
反对称关系
BinaryRelation
?REL is an
AntisymmetricRelation
if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an
AntisymmetricRelation
to be a
ReflexiveRelation
.
非自反关系
Relation
?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.
Children
格角色
The
Class
of
Predicate
s relating the spatially distinguished parts of a
Process
.
CaseRole
s include, for example, the
agent
,
patient
or
destination
of an action, the flammable substance in a burning process, or the water that falls in rain.
命题态度
The
Class
of
IntentionalRelation
s where the
Agent
has awareness of a
Proposition
.
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