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
Il numero 1 argomenti di
subjectiveAttribute
è un
istanza
di
Entit�
(
domain
subjectiveAttribute
2
Attribute
)
Dining.kif 314-314
Il numero 2 argomenti di
subjectiveAttribute
è un
istanza
di
Attributo
(
domain
subjectiveAttribute
3
AutonomousAgent
)
Dining.kif 315-315
Il numero 3 argomenti di
subjectiveAttribute
è un
istanza
di
AutonomousAgent
(
instance
subjectiveAttribute
TernaryPredicate
)
Dining.kif 312-312
subjectiveAttribute
è un'
istanza
di
PredicatoTernario
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
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
FoodRating
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
Processo
and
Processo
Processo
è un'
istanza
di
Cucinare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Processo
è un'
istanza
di
Classificare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Attributo
è un
paziente
di
Processo
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
HotelRating
))
(
attribute
?ENTITY
TravelerAccommodation
))
Hotel.kif 3030-3034
subjectiveAttribute
Oggetto
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
HotelRating
attribute
Oggetto
and
TravelerAccommodation
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
RestaurantRating
))
(
instance
?ENTITY
Restaurant
))
Hotel.kif 3040-3044
subjectiveAttribute
Entit�
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
RestaurantRating
Entit�
è un'
istanza
di
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
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
ServiceRating
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
Processo
Processo
è un'
istanza
di
ServiceProcess
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Classificare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Processo
Attributo
è un
paziente
di
Processo
(=>
(
and
(
subjectiveAttribute
?OBJ ?ATTR ?AGENT)
(
instance
?ATTR
TimeAttribute
))
(
instance
?OBJ
AutonomousAgent
))
Dining.kif 1026-1030
subjectiveAttribute
Entit�
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
TimeAttribute
Entit�
è un'
istanza
di
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
AgenteCognitivo
Entit�
è un'
istanza
di
Classe
Entit�
subjectiveAttribute
Entit�
,
Favorite
and
AgenteCognitivo
Entit�
è un'
istanza
di
Classe
AgenteCognitivo
preferisce
s
AgenteCognitivo
vuole
s
Entit�
su
AgenteCognitivo
vuole
s
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
Oggetto
,
Won
and
AutonomousAgent
Oggetto
è un'
istanza
di
FoodForFn
Umano
Competizione
AutonomousAgent
and
Processo
contestObject
Competizione
,
Oggetto
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Competizione
(=>
(
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�
,
Attributo
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Classificare
Processo
è un
agente
di
AutonomousAgent
Attributo
è un
paziente
di
Processo
Processo
fine
s in
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
AgenteCognitivo
Entit�
è un'
istanza
di
Classe
Entit�
subjectiveAttribute
Entit�
,
Favorite
and
AgenteCognitivo
Entit�
è un'
istanza
di
Classe
AgenteCognitivo
preferisce
s
AgenteCognitivo
vuole
s
Entit�
su
AgenteCognitivo
vuole
s
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
Competizione
,
Oggetto
and
AutonomousAgent
contestParticipant
Competizione
and
AutonomousAgent
Processo
AutonomousAgent
,
Processo
and
Entit�
Processo
è un'
istanza
di
Fabbricazione
Oggetto
è un
risultato
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
subjectiveAttribute
Oggetto
,
Entit�
and
AutonomousAgent
è un
risultato
di
Processo
Processo
è un
sottoprocesso
di
Competizione
(=>
(
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'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Outfit
subjectiveAttribute
Entit�
,
AmbienceAttribute
and
AutonomousAgent
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
locatedAtTime
Entit�
,
Entit�
and
AutonomousAgent
Entit�
è un
membro
di
Entit�
wears
Entit�
and
Entit�
vales
durante
Entit�
ha il modello di forza di
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�
è un'
istanza
di
Proliferation
Processo
AutonomousAgent
and
Entit�
Processo
è un'
istanza
di
Classificare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Aumento
Processo
fine
s in
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