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
Le nombre 1 argument de
subjectiveAttribute
est une
instance
de
entit�
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
Le nombre 2 argument de
subjectiveAttribute
est une
instance
de
attribut
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
Le nombre 3 argument de
subjectiveAttribute
est une
instance
de
AutonomousAgent
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
subjectiveAttribute
est une
instance
de
pr�dicat ternaire
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
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfDuration
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
subjectiveAttribute
AutonomousAgent
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
FoodRating
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
processus
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
attribut
est un
patient
de
processus
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
subjectiveAttribute
objet
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
HotelRating
TravelerAccommodation
est un
attribut
de
objet
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
subjectiveAttribute
entit�
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
RestaurantRating
entit�
est une
instance
de
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
subjectiveAttribute
AutonomousAgent
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
ServiceRating
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
processus
processus
est une
instance
de
ServiceProcess
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
attribut
est un
patient
de
processus
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
subjectiveAttribute
entit�
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
TimeAttribute
entit�
est une
instance
de
AutonomousAgent
(=>
(
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
subjectiveAttribute
entit�
,
Favorite
and
agent cognitif
entit�
est une
instance
de
classe
entit�
subjectiveAttribute
entit�
,
Favorite
and
agent cognitif
entit�
est une
instance
de
classe
agent cognitif
pref
�re
agent cognitif
veut
entit�
plus que
agent cognitif
veut
entit�
(=>
(
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
subjectiveAttribute
objet
,
Won
and
AutonomousAgent
objet
est une
instance
de
FoodForFn
humain
affrontement
AutonomousAgent
and
processus
contestObject
affrontement
,
objet
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
affrontement
(=>
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
exists
(?RATE)
(
and
(
instance
?RATE
Classifying
)
(
agent
?RATE ?AGENT)
(
patient
?RATE ?ATTR)
(
destination
?RATE ?ENTITY))))
Dining.kif 318-325
subjectiveAttribute
entit�
,
attribut
and
AutonomousAgent
processus
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
attribut
est un
patient
de
processus
processus
aboutit
�
entit�
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
subjectiveAttribute
entit�
,
Favorite
and
agent cognitif
entit�
est une
instance
de
classe
entit�
subjectiveAttribute
entit�
,
Favorite
and
agent cognitif
entit�
est une
instance
de
classe
agent cognitif
pref
�re
agent cognitif
veut
entit�
plus que
agent cognitif
veut
entit�
(=>
(
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
contestObject
affrontement
,
objet
and
AutonomousAgent
contestParticipant
affrontement
and
AutonomousAgent
processus
AutonomousAgent
,
processus
and
entit�
processus
est une
instance
de
faire
objet
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
subjectiveAttribute
objet
,
entit�
and
AutonomousAgent
est le
resultat
de
processus
processus
est un
sous
-processus de
affrontement
(=>
(
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
dressCode
AmbienceAttribute
and
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
Outfit
subjectiveAttribute
entit�
,
AmbienceAttribute
and
AutonomousAgent
entit�
entit�
customer
entit�
and
AutonomousAgent
locatedAtTime
entit�
,
entit�
and
AutonomousAgent
entit�
est un
membre
de
entit�
entit�
porte
entit�
pendant
entit�
a la
force
modale
de
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
Entit�
est une
instance
de
Proliferation
processus
AutonomousAgent
and
entit�
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
augmenter
processus
aboutit
�
entit�
subjectiveAttribute
entit�
,
Quick
and
AutonomousAgent
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