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
O argumento numero 1 de
subjectiveAttribute
e' uma
instancia
de
Entidade
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
O argumento numero 2 de
subjectiveAttribute
e' uma
instancia
de
Atributo
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
O argumento numero 3 de
subjectiveAttribute
e' uma
instancia
de
AutonomousAgent
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
subjectiveAttribute
e' uma
instancia
de
Predicado Ternario
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
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s) a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
FoodRating
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
Processo
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Atributo
e' um
patient
de
Processo
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
subjectiveAttribute
Objeto
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
HotelRating
TravelerAccommodation
e' um
atributo
de
Objeto
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
subjectiveAttribute
Entidade
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
RestaurantRating
Entidade
e' uma
instancia
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
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
ServiceRating
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
Processo
Processo
e' uma
instancia
de
ServiceProcess
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
Atributo
e' um
patient
de
Processo
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
subjectiveAttribute
Entidade
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
TimeAttribute
Entidade
e' uma
instancia
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
Entidade
,
Favorite
and
Agente Cognitivo
Entidade
e' uma
instancia
de
Classe
Entidade
subjectiveAttribute
Entidade
,
Favorite
and
Agente Cognitivo
Entidade
e' uma
instancia
de
Classe
Agente Cognitivo
prefere
Agente Cognitivo
quer
Entidade
a
Agente Cognitivo
quer
Entidade
(=>
(
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
Objeto
,
Won
and
AutonomousAgent
Objeto
e' uma
instancia
de
FoodForFn
Humano
Contest
AutonomousAgent
and
Processo
contestObject
Contest
,
Objeto
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Contest
(=>
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
exists
(?RATE)
(
and
(
instance
?RATE
Classifying
)
(
agent
?RATE ?AGENT)
(
patient
?RATE ?ATTR)
(
destination
?RATE ?ENTITY))))
Dining.kif 318-325
subjectiveAttribute
Entidade
,
Atributo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Atributo
e' um
patient
de
Processo
Processo
termina
em
Entidade
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
Entidade
,
Favorite
and
Agente Cognitivo
Entidade
e' uma
instancia
de
Classe
Entidade
subjectiveAttribute
Entidade
,
Favorite
and
Agente Cognitivo
Entidade
e' uma
instancia
de
Classe
Agente Cognitivo
prefere
Agente Cognitivo
quer
Entidade
a
Agente Cognitivo
quer
Entidade
(=>
(
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
Contest
,
Objeto
and
AutonomousAgent
contestParticipant
Contest
and
AutonomousAgent
Processo
AutonomousAgent
,
Processo
and
Entidade
Processo
e' uma
instancia
de
Fazer
Objeto
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
subjectiveAttribute
Objeto
,
Entidade
and
AutonomousAgent
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
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
dressCode
AmbienceAttribute
and
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Outfit
subjectiveAttribute
Entidade
,
AmbienceAttribute
and
AutonomousAgent
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
locatedAtTime
Entidade
,
Entidade
and
AutonomousAgent
Entidade
e'
membro
de
Entidade
Entidade
usa
Entidade
vale
durante
Entidade
tem a
forca
modal
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
Entidade
e' uma
instancia
de
Proliferation
Processo
AutonomousAgent
and
Entidade
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Aumentar
Processo
termina
em
Entidade
subjectiveAttribute
Entidade
,
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