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
desires
Sigma KEE - desires
desires
appearance as argument number 1
(
documentation
desires
ChineseLanguage
"(
desires
?AGENT ?FORMULA) 的意思是 ?AGENT 想要 实现 ?FORMULA 所表达的事态。注:这并不意味着施事体想要的东西不能成真。另外要注意的是
desires
和
wants
的区别只在于前者是一个
PropositionalAttitude
, 而
wants
是一个
ObjectAttitude
。")
chinese_format.kif 1936-1938
(
documentation
desires
EnglishLanguage
"(
desires
?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that
desires
is distinguished from
wants
only in that the former is a
PropositionalAttitude
, while
wants
is an
ObjectAttitude
.")
Merge.kif 2791-2795
(
documentation
desires
JapaneseLanguage
"(
desires
?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。 注1:エージェント が望むものが既に正しくないという結果はない。 注2:また、
desires
は前者が
PropositionalAttitude
であるのに対し、
wants
は
ObjectAttitude
であるという点でのみ
wants
と区別される。")
japanese_format.kif 565-568
(
domain
desires
1
CognitiveAgent
)
Merge.kif 2788-2788
O argumento numero 1 de
desires
e' uma
instancia
de
Agente Cognitivo
(
domain
desires
2
Formula
)
Merge.kif 2789-2789
O argumento numero 2 de
desires
e' uma
instancia
de
Formula
(
instance
desires
BinaryPredicate
)
Merge.kif 2785-2785
desires
e' uma
instancia
de
Predicado Binario
(
instance
desires
PropositionalAttitude
)
Merge.kif 2784-2784
desires
e' uma
instancia
de
Atitude pProposicional
(
relatedInternalConcept
desires
wants
)
Merge.kif 2787-2787
desires
e'
relacionado
internamente por SUMO a
wants
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2786-2786
desires
e' uma
sub
-relacao de
inScopeOfInterest
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 7439-7439
disapproves
e
desires
sao
disjuntos
(
format
ChineseLanguage
desires
"%1 %n{doesn't}
desires
%2")
chinese_format.kif 91-91
(
format
EnglishLanguage
desires
"%1 %n{doesn't}
de
sire%p{s} %2")
english_format.kif 91-91
(
format
FrenchLanguage
desires
"%1 %n{ne}
de
sire %n{pas} %2")
french_format.kif 68-68
(
format
ItalianLanguage
desires
"%1 %n{non}
de
sidera%p{s} %2")
relations-it.txt 70-70
(
format
JapaneseLanguage
desires
"%1 が %2 を
de
sire%p{s} %n{ない}")
japanese_format.kif 1894-1894
(
format
PortugueseLanguage
desires
"%1 %n{nao}
de
seja %n %2")
portuguese_format.kif 20-20
(
format
cb
desires
"%1 %n kagustuhan %2")
relations-cb.txt 104-104
(
format
cz
desires
"%1 %n{doesn't}
de
sire%p{s} %2")
relations-cz.txt 98-98
(
format
de
desires
"%1 wuenscht %2 %n{nicht}")
relations-de.txt 101-101
(
format
hi
desires
"%1 %2 kii ichchha %n{nahiin} karataa hai")
relations-hindi.txt 111-111
(
format
ro
desires
"%1 %n{nu}
de
sire%t{doreºte} %2")
relations-ro.kif 87-87
(
format
sv
desires
"%1 önskar %n{inte} %2")
relations-sv.txt 67-67
(
format
tg
desires
"%1 %n gusto %2")
relations-tg.txt 156-156
(
relatedInternalConcept
wants
desires
)
Merge.kif 2764-2764
wants
e'
relacionado
internamente por SUMO a
desires
(
termFormat
ChineseLanguage
desires
"欲望")
domainEnglishFormat.kif 19260-19260
(
termFormat
ChineseLanguage
desires
"渴望")
chinese_format.kif 92-92
(
termFormat
ChineseTraditionalLanguage
desires
"慾望")
domainEnglishFormat.kif 19259-19259
(
termFormat
EnglishLanguage
desires
"desires")
domainEnglishFormat.kif 19258-19258
(
termFormat
de
desires
"wuenscht")
terms-de.txt 28-28
(
termFormat
tg
desires
"gusto")
relations-tg.txt 157-157
antecedent
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
o argumento
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
usa
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
deseja
Dead
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
AutonomousAgent
URDER e' uma
instancia
de
Murder
AutonomousAgent
URDER e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
AutonomousAgent
URDER
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
AutonomousAgent
URDER
Premeditated
e' um
atributo
de
AutonomousAgent
URDER
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
Processo
e' uma
instancia
de
DefensiveInformationOperation
Processo
e' um
agente
de
Agente Cognitivo
enemy
Agente Cognitivo
and
Agente Cognitivo
Agente Cognitivo
deseja
Agente Cognitivo
sabe
Entidade
Agente Cognitivo
deseja
Agente Cognitivo
nao
sabe
%n
Entidade
Processo
tem por
fim
Agente Cognitivo
nao
sabe
%n
Entidade
consequent
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29507-29519
Collectible
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
Agente Cognitivo
Formula
2
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
quer
Objeto
Agente Cognitivo
deseja
Formula
2
Formula
2
implica
Agente Cognitivo
possui
Objeto
Formula
e'
igual
a
Formula
2
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1850-1854
candidateForPosition
Election
,
Role Social
and
Agente Cognitivo
Election
e' um
agente
de
AutonomousAgent
Agente Cognitivo
deseja
Agente Cognitivo
ocupa a
posicao
de
Role Social
AutonomousAgent
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 295-306
defenseLawyer
Acao Legal
and
Agente Cognitivo
defendant
Acao Legal
and
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
LegalDecision
Entidade
inclui uma
referencia
a
Acao Legal
Agente Cognitivo
nao
quer
%n
Entidade
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
deviceOS
Objeto
and
Computer
Objeto
I e' uma
instancia
de
Objeto
Computer
I e' uma
instancia
de
Computer
manufacturer
Objeto
and
Agente Cognitivo
Agente Cognitivo
deseja
programRunning
Entidade
and
Computer
I
computerRunning
Entidade
and
Objeto
I
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
Processo
e' uma
instancia
de
AutoImmuneDisorder
Agente Cognitivo
experimenta
Processo
Objeto
Processo
and
Objeto
Objeto
e' uma
instancia
de
Antibody
Objeto
e' uma &parte de
Agente Cognitivo
Objeto
e' uma
instancia
de
Celula
Objeto
e' uma &parte de
Agente Cognitivo
Processo
e' uma
instancia
de
Destrucao
Objeto
e' um
instrumento
para
Processo
Agente Cognitivo
nao
deseja
%n
Processo
e' uma
instancia
de
Destrucao
Objeto
e' um
instrumento
para
Processo
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processo
e' uma
instancia
de
AddToCart
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21776-21795
Processo
e' uma
instancia
de
Blockade
Contest
e' uma
instancia
de
Contest
Processo
e' um
sub
-processo de
Contest
contestParticipant
Contest
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Contest
1
Agente Cognitivo
Contest
1
proibe
a ocurrencia de
Translocation
Processo
e' uma
instancia
de
Contest
1
contestParticipant
Contest
and
Agente Cognitivo
AutonomousAgent
e'
igual
a
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Contest
1
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
sub
-processo de
Contest
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
ComputerProcess
e' uma
instancia
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
DigitalData
ComputerProcess
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
tempo
de existencia de
ComputerProcess
acontence
antes
de
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
DigitalData
e'
capaz
de fazer
Entidade
no role
dataProcessed
vale
durante
Entidade
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 944-952
Colecao
e' uma
instancia
de
Club
Agente Cognitivo
e'
membro
de
Colecao
Agente Cognitivo
e'
membro
de
Colecao
Formula
Agente Cognitivo
deseja
Formula
Agente Cognitivo
deseja
Formula
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
Processo
e' uma
instancia
de
Confinar
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
nao
deseja
%n
Agente Cognitivo
e' um
patient
de
Processo
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12950-12957
Processo
e' uma
instancia
de
ExpressingApproval
Processo
e' um
agente
de
Agente Cognitivo
Formula
e' um
patient
de
Processo
Agente Cognitivo
quer
Formula
Agente Cognitivo
deseja
Formula
(=>
(
and
(
instance
?F
(
FailureFn
?C))
(
agent
?F ?A))
(
and
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?C)
(
agent
?I ?A))))
(
not
(
exists
(?I)
(
and
(
instance
?I ?C)
(
during
(
WhenFn
?I)
(
WhenFn
?F))
(
agent
?I ?A))))))
ComputingBrands.kif 4517-4532
Processo
e' uma
instancia
de
FailureFn
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
deseja
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo Intencional
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
Processo
e' um
agente
de
Agente Cognitivo
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
Agente Cognitivo
e' uma
instancia
de
PoliticalPressureGroup
Agente Cognitivo
tem por
fim
Formula
agentOperatesInArea
Agente Cognitivo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Nacao
Agente Cognitivo
deseja
o
governo
de
Area Geografica
acredita
que
Formula
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
Processo
e' uma
instancia
de
Insomnia
Agente Cognitivo
experimenta
Processo
Processo
Duracao Temporal
and
Duracao Temporal
2
Processo
e' uma
instancia
de
Sleeping
Agente Cognitivo
experimenta
Processo
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
Agente Cognitivo
deseja
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
2
Duracao Temporal
2 e'
maior
que
Duracao Temporal
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
Processo
e' uma
instancia
de
Itching
Processo
e'
situado
em
Objeto
Objeto
e' uma &parte de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Scratching
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
(=>
(
and
(
instance
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
instance
?D ?CLASS)
(
patient
?J ?D)
(
manufacturer
?CLASS ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3476-3486
Processo
e' uma
instancia
de
Jailbreaking
Entidade
e' uma
instancia
de
Computer
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
manufacturer
Objeto
and
Agente Cognitivo
Agente Cognitivo
nao
deseja
%n
Entidade
Processo
e' um
agente
de
Entidade
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10665-10675
Processo
e' uma
instancia
de
Quitting
Entidade
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
deseja
Agente Cognitivo
e'
membro
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?ITEM
Object
)
(
instance
?CREATOR
AutonomousAgent
)
(
attribute
?LISTING
AuctionAttribute
)
(
patient
?ITEM ?LISTING)
(
creator
?CREATOR ?LISTING))
(
desires
?CREATOR
(
exists
(?AUCTION)
(
and
(
instance
?AUCTION
Auctioning
)
(
patient
?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 313-325
Objeto
e' uma
instancia
de
WebListing
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
AuctionAttribute
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
creator
Agente Cognitivo
and
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Auctioning
Processo
e' um
patient
de
Entidade
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
Colecao
e' uma
instancia
de
CommunistParty
Agente Cognitivo
e'
membro
de
Colecao
Entidade
e' uma
instancia
de
Area Geopolitica
Agente Cognitivo
deseja
governmentType
Entidade
and
CommunistState
(=>
(
and
(
instance
?P
Punishing
)
(
agent
?P ?A)
(
patient
?P ?F)
(
destination
?P ?D))
(
knows
?A
(
not
(
desires
?D ?F))))
Mid-level-ontology.kif 872-880
Processo
e' uma
instancia
de
Punishing
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Agente Cognitivo
sabe
Entidade
nao
deseja
%n
Entidade
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
Processo
e' uma
instancia
de
PsychologicalOperation
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' o
resultado
de
Entidade
AutonomousAgent
deseja
Entidade
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 13200-13206
Processo
e' uma
instancia
de
Pedir
Processo
e' um
agente
de
Agente Cognitivo
Formula
e' um
patient
de
Processo
Formula
e' uma
instancia
de
Formula
Agente Cognitivo
deseja
Formula
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 13148-13158
Processo
e' uma
instancia
de
Thanking
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Humano
AutonomousAgent
quer
Entidade
vale
durante
tempo
de existencia de
Processo
AutonomousAgent
deseja
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 860-865
Processo
e' uma
instancia
de
Threatening
Formula
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Agente Cognitivo
nao
deseja
%n
Formula
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 61-68
listingSeller
WebListing
and
Agente Cognitivo
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
WebListing
Agente Cognitivo
deseja
Entidade
Entidade
e' um
patient
de
Entidade
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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