Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 306-307
(
domain
subjectiveAttribute
1
Entity
)
Dining.kif 309-309
The number 1 argument of
subjective attribute
is an
instance
of
entity
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 310-310
The number 2 argument of
subjective attribute
is an
instance
of
attribute
(
domain
subjectiveAttribute
3
Agent
)
Dining.kif 311-311
The number 3 argument of
subjective attribute
is an
instance
of
agent
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 308-308
subjective attribute
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
subjectiveAttribute
"%3
believes
%1 是 %2 ")
domainEnglishFormat.kif 4699-4699
(
format
ChineseTraditionalLanguage
subjectiveAttribute
"%3
believes
%1 是 %2 ")
domainEnglishFormat.kif 4698-4698
(
format
EnglishLanguage
subjectiveAttribute
"%3
believes
%1 is %2")
domainEnglishFormat.kif 4697-4697
(
termFormat
EnglishLanguage
subjectiveAttribute
"subjective attribute")
Dining.kif 312-312
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 997-1012
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
UnitOfDuration
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
Agent
))
(
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 3025-3038
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
FoodRating
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 2994-2998
If
an agent
believes
an object
is
an attribute
and
the attribute
is an
instance
of
HotelRating
,
then
traveler accommodation
is an
attribute
of
the object
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3004-3008
If
an agent
believes
an entity
is
an attribute
and
the attribute
is an
instance
of
RestaurantRating
,
then
the entity
is an
instance
of
restaurant
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
ServiceRating
)
(
instance
?ENTITY
Agent
))
(
exists
(?SVC ?CLASSIFY)
(
and
(
instance
?SVC
ServiceProcess
)
(
agent
?SVC ?ENTITY)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?SVC)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3053-3065
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
ServiceRating
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
Agent
))
Dining.kif 979-983
If
an agent
believes
an entity
is
an attribute
and
the attribute
is an
instance
of
TimeAttribute
,
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 965-973
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 853-862
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 314-321
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 965-973
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)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?ATTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 836-849
If
an agent
entered
an object
in
a contest
,
then
the agent
participates
in
the contest
and there exist
a process
,
another agent
and
another process
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
an entity
is a
result
of
the other process
and
the other process
is a
subprocess
of
the contest
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
and
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
instance
?OUTFIT
Outfit
)
(
customer
?CUST ?AGENT)
(
holdsDuring
(
WhenFn
(
located
?CUST ?AGENT))
(
forall
(?ITEM)
(=>
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM)))))
Obligation
))
Dining.kif 462-473
If
an agent
requires customers to wear
an ambience
,
then the statement
the agent
believes
an entity
is
the ambience
and
the entity
is an
instance
of
outfit
and
the agent
is a
customer
of
another entity
and for all
a third entity
if
the third entity
is a
member
of
the entity
,
then
the other entity
wear
s
the third entity
holds
during
the
time
of existence of
the other entity
is
located
at
the agent
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
