Simple Browser
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Sigma KEE - IntentionalRelation
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
IntentionalRelation
The
Class
of
Relation
s between an
AutonomousAgent
and one or more Entities, where the
Relation
requires that the
AutonomousAgent
have awareness of the
Entity
.
Relationships
Parents
InheritableRelation
The class of
Relation
s whose properties can be inherited downward in the class hierarchy via the
subrelation
Predicate
.
Relation
The
Class
of relations. There are two kinds of
Relation
:
Predicate
and
Function
.
Predicate
s and
Function
s both denote sets of ordered n-tuples. The difference between these two
Class
es is that
Predicate
s cover formula-forming operators, while
Function
s cover term-forming operators.
Children
ObjectAttitude
The
Class
of
IntentionalRelation
s where the
AutonomousAgent
has awareness of an instance of
Physical
.
PropositionalAttitude
The
Class
of
IntentionalRelation
s where the
AutonomousAgent
has awareness of a
Proposition
.
Instances
cohabitant
(
holdsDuring
?T1 (
cohabitant
?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home.
domesticPartner
(
holdsDuring
?T1 (
domesticPartner
?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union.
friend
(
holdsDuring
?T1 (
friend
?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests.
inScopeOfInterest
A very general
Predicate
. (
inScopeOfInterest
?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.
prefers
(
prefers
?AGENT ?FORMULA1 ?FORMULA2) means that
CognitiveAgent
?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal.
serviceProvider
(
serviceProvider
?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.
serviceRecipient
(
serviceRecipient
?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT.
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