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 - 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
AsymmetricRelation
A
BinaryRelation
is asymmetric if and only if it is both an
AntisymmetricRelation
and an
IrreflexiveRelation
.
Relationships
Parents
AntisymmetricRelation
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
.
IrreflexiveRelation
Relation
?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.
Children
CaseRole
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.
PropositionalAttitude
The
Class
of
IntentionalRelation
s where the
AutonomousAgent
has awareness of a
Proposition
.
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