Browsing Interface
: 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:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subjectiveAttribute
Sigma KEE - subjectiveAttribute
subjectiveAttribute
appearance as argument number 1
(
documentation
subjectiveAttribute
EnglishLanguage
"(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT) means that ?AGENT attaches ?ATTR to ?ENTITY")
Dining.kif 310-311
(
domain
subjectiveAttribute
1
Entity
)
Dining.kif 313-313
The number 1 argument of
subjective attribute
is an
instance
of
entity
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
The number 2 argument of
subjective attribute
is an
instance
of
attribute
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
The number 3 argument of
subjective attribute
is an
instance
of
agent
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
subjective attribute
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
subjectiveAttribute
"%3
believes
%1 是 %2 ")
domainEnglishFormat.kif 4690-4690
(
format
ChineseTraditionalLanguage
subjectiveAttribute
"%3
believes
%1 是 %2 ")
domainEnglishFormat.kif 4689-4689
(
format
EnglishLanguage
subjectiveAttribute
"%3
believes
%1 is %2")
domainEnglishFormat.kif 4688-4688
(
termFormat
EnglishLanguage
subjectiveAttribute
"subjective attribute")
Dining.kif 316-316
antecedent
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
If
an agent
believes
another agent
is
quick
and
the agent
believes
a third agent
is
slow
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
process
and
the other agent
is an
agent
of
the process
and
the third agent
is an
agent
of
the other process
,
then
an unit of measure
is an
instance
of
unit of duration
and
duration
of the
time
of existence of
the process
is
a real number
the unit of measure
(s) and
duration
of the
time
of existence of
the other process
is
another real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3062-3075
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
food rating
and
the other agent
is an
instance
of
agent
,
then there exist
an entity
,
a process
and
another process
such that
the process
is an
instance
of
cooking
and
the other agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the other process
is an
instance
of
classifying
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
and
the attribute
is a
patient
of
the other process
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
If
an agent
believes
an object
is
an attribute
and
the attribute
is an
instance
of
hotel rating
,
then
traveler accommodation
is an
attribute
of
the object
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
If
an agent
believes
an entity
is
an attribute
and
the attribute
is an
instance
of
restaurant rating
,
then
the entity
is an
instance
of
restaurant
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
ServiceRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?SVC ?CLASSIFY)
(
and
(
instance
?SVC
ServiceProcess
)
(
agent
?SVC ?ENTITY)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?SVC)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3091-3103
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
service rating
and
the other agent
is an
instance
of
agent
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
service
and
the other agent
is an
agent
of
the process
and
the other process
is an
instance
of
classifying
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the process
and
the attribute
is a
patient
of
the other process
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
If
an agent
believes
an entity
is
an attribute
and
the attribute
is an
instance
of
time attribute
,
then
the entity
is an
instance
of
agent
(=>
(
and
(
subjectiveAttribute
?X
Favorite
?AGENT)
(
instance
?X ?CLASS))
(
exists
(?Y)
(
and
(
not
(
subjectiveAttribute
?Y
Favorite
?AGENT))
(
instance
?Y ?CLASS)
(
prefers
?AGENT
(
wants
?AGENT ?X)
(
wants
?AGENT ?Y)))))
Dining.kif 1012-1020
If
a cognitive agent
believes
an entity
is
favorite
and
the entity
is an
instance
of
a class
,
then there exists
another entity
such that not
the cognitive agent
believes
the other entity
is
favorite
and
the other entity
is an
instance
of
the class
and
the cognitive agent
prefer
s
the cognitive agent
want
s
the entity
over
the cognitive agent
want
s
the other entity
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 900-909
If
an agent
believes
an object
is
won
and
the object
is an
instance
of
food
for
human
,
then there exist
a contest
,
another agent
and
a process
such that
the other agent
entered
the object
in
the contest
and
the process
is an
instance
of
judging
and
the agent
is an
agent
of
the process
and
the process
is a
subprocess
of
the contest
(=>
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
exists
(?RATE)
(
and
(
instance
?RATE
Classifying
)
(
agent
?RATE ?AGENT)
(
patient
?RATE ?ATTR)
(
destination
?RATE ?ENTITY))))
Dining.kif 318-325
If
an agent
believes
an entity
is
an attribute
,
then there exists
a process
such that
the process
is an
instance
of
classifying
and
the agent
is an
agent
of
the process
and
the attribute
is a
patient
of
the process
and
the process
end
s up at
the entity
consequent
(=>
(
and
(
subjectiveAttribute
?X
Favorite
?AGENT)
(
instance
?X ?CLASS))
(
exists
(?Y)
(
and
(
not
(
subjectiveAttribute
?Y
Favorite
?AGENT))
(
instance
?Y ?CLASS)
(
prefers
?AGENT
(
wants
?AGENT ?X)
(
wants
?AGENT ?Y)))))
Dining.kif 1012-1020
If
a cognitive agent
believes
an entity
is
favorite
and
the entity
is an
instance
of
a class
,
then there exists
another entity
such that not
the cognitive agent
believes
the other entity
is
favorite
and
the other entity
is an
instance
of
the class
and
the cognitive agent
prefer
s
the cognitive agent
want
s
the entity
over
the cognitive agent
want
s
the other entity
(=>
(
contestObject
?CONTEST ?OBJ ?AGENT)
(
and
(
contestParticipant
?CONTEST ?AGENT)
(
exists
(?MAKE ?JUDGE ?PROC ?AFTR)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?AFTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 883-896
If
an agent
entered
an object
in
a contest
,
then
the agent
participates
in
the contest
and there exist
a process
,
another agent
,, ,
another process
and
an entity
such that
the process
is an
instance
of
making
and
the object
is a
result
of
the process
and
the agent
is an
agent
of
the process
and
the other process
is an
instance
of
judging
and
the other agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the other agent
believes
the object
is
the entity
is a
result
of
the other process
and
the other process
is a
subprocess
of
the contest
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
exists
(?OUTFIT ?T)
(
and
(
instance
?OUTFIT
Outfit
)
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
holdsDuring
?T
(
forall
(?CUST ?ITEM)
(
and
(
customer
?CUST ?AGENT)
(
locatedAtTime
?CUST ?T ?AGENT)
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM))))))
Obligation
))
Dining.kif 492-505
If
an agent
requires customers to wear
an ambience
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
outfit
and
the agent
believes
the entity
is
the ambience
and for all
a third entity
and
a fourth entity
the agent
is a
customer
of
the third entity
and
the third entity
located
at time
the other entity
for
the agent
and
the fourth entity
is a
member
of
the entity
and
the third entity
wear
s
the fourth entity
holds
during
the other entity
has the
modal
force
of
obligation
(=>
(
instance
?P
Proliferation
)
(
exists
(?C ?A ?I)
(
and
(
instance
?C
Classifying
)
(
agent
?C ?A)
(
instance
?I
Increasing
)
(
destination
?C ?I)
(
subjectiveAttribute
?I
Quick
?A))))
MilitaryProcesses.kif 1437-1445
If
an entity
is an
instance
of
proliferation
,
then there exist
a process
,
an agent
and
another entity
such that
the process
is an
instance
of
classifying
and
the agent
is an
agent
of
the process
and
the other entity
is an
instance
of
increasing
and
the process
end
s up at
the other entity
and
the agent
believes
the other entity
is
quick
Show simplified definition (without tree view)
Show simplified 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