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
grammaticalRelation
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
Il numero 1 argomenti di
desires
è un
istanza
di
AgenteCognitivo
(
domain
desires
2
Formula
)
Merge.kif 2789-2789
Il numero 2 argomenti di
desires
è un
istanza
di
Formula
(
instance
desires
BinaryPredicate
)
Merge.kif 2785-2785
desires
è un'
istanza
di
PredicatoBinario
(
instance
desires
PropositionalAttitude
)
Merge.kif 2784-2784
desires
è un'
istanza
di
AtteggiamentoProposizionale
(
relatedInternalConcept
desires
wants
)
Merge.kif 2787-2787
desires
è
interamente
correlato a
wants
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2786-2786
desires
è una
sottorelazione
di
inScopeOfInterest
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 7466-7466
disapproves
e
desires
sono
disgiunti
(
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
è
interamente
correlato 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
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
l'affermazione
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
usa
Entit�
ha il modello di forza di
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
desidera
s
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
AutonomousAgent
URDER è un'
istanza
di
Murder
AutonomousAgent
URDER è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
AutonomousAgent
URDER
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
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
è un'
istanza
di
DefensiveInformationOperation
Processo
è un
agente
di
AgenteCognitivo
enemy
AgenteCognitivo
and
AgenteCognitivo
AgenteCognitivo
desidera
s
AgenteCognitivo
conosce
s
Entit�
AgenteCognitivo
desidera
s
AgenteCognitivo
non
conosce
Entit�
Processo
ha
scopo
AgenteCognitivo
non
conosce
Entit�
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 29558-29570
attribute
Oggetto
and
Collectible
Oggetto
ha
scopo
Formula
AgenteCognitivo
Formula
2
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
vuole
s
Oggetto
AgenteCognitivo
desidera
s
Formula
2
Formula
2
implica
s
AgenteCognitivo
possiede
es
Oggetto
Formula
is
uguale
a
Formula
2
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1814-1818
candidateForPosition
Election
,
RuoloSociale
and
AgenteCognitivo
Election
è un
agente
di
AutonomousAgent
AgenteCognitivo
desidera
s
AgenteCognitivo
occupa la
posizione
di
RuoloSociale
in
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
AzioneLegale
and
AgenteCognitivo
defendant
AzioneLegale
and
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
LegalDecision
Entit�
include un
riferimento
a
AzioneLegale
AgenteCognitivo
non
vuole
Entit�
(=>
(
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
Oggetto
and
Computer
Oggetto
I è un'
istanza
di
Oggetto
Computer
I è un'
istanza
di
Computer
manufacturer
Oggetto
and
AgenteCognitivo
AgenteCognitivo
desidera
s
programRunning
Entit�
and
Computer
I
computerRunning
Entit�
and
Oggetto
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
è un'
istanza
di
AutoImmuneDisorder
AgenteCognitivo
esperisce
s
Processo
Oggetto
Processo
and
Oggetto
Oggetto
è un'
istanza
di
Antibody
Oggetto
è una
parte
di
AgenteCognitivo
Oggetto
è un'
istanza
di
Cellula
Oggetto
è una
parte
di
AgenteCognitivo
Processo
è un'
istanza
di
Distruggere
Oggetto
è uno
strumento
per
Processo
AgenteCognitivo
non
desidera
Processo
è un'
istanza
di
Distruggere
Oggetto
è uno
strumento
per
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
è un'
istanza
di
AddToCart
AgenteCognitivo
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
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 21828-21847
Processo
è un'
istanza
di
Blockade
Competizione
è un'
istanza
di
Competizione
Processo
è un
sottoprocesso
di
Competizione
contestParticipant
Competizione
and
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Competizione
1
AgenteCognitivo
Competizione
1
impedisce
l'occorrenza di
Translocation
Processo
è un'
istanza
di
Competizione
1
contestParticipant
Competizione
and
AgenteCognitivo
AutonomousAgent
is
uguale
a
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Competizione
1
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
sottoprocesso
di
Competizione
(=>
(
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
è un'
istanza
di
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
DigitalData
ComputerProcess
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
il
tempo
di esistenza di
ComputerProcess
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
DigitalData
è
capace
di fare
Entit�
nel ruolo
dataProcessed
vales
durante
Entit�
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 937-945
InsiemeConcreto
è un'
istanza
di
Club
AgenteCognitivo
è un
membro
di
InsiemeConcreto
AgenteCognitivo
è un
membro
di
InsiemeConcreto
Formula
AgenteCognitivo
desidera
s
Formula
AgenteCognitivo
desidera
s
Formula
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12258-12263
Processo
è un'
istanza
di
Imprigionare
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
non
desidera
AgenteCognitivo
è un
paziente
di
Processo
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12977-12984
Processo
è un'
istanza
di
ExpressingApproval
Processo
è un
agente
di
AgenteCognitivo
Formula
è un
paziente
di
Processo
AgenteCognitivo
vuole
s
Formula
AgenteCognitivo
desidera
s
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
è un'
istanza
di
FailureFn
ProcessoIntenzionale
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AgenteCognitivo
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AgenteCognitivo
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2326-2333
AgenteCognitivo
è un'
istanza
di
PoliticalPressureGroup
AgenteCognitivo
ha
scopo
Formula
agentOperatesInArea
AgenteCognitivo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
Nazione
AgenteCognitivo
desidera
s
GovernmentFn
AreaGeografica
crede
s
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 16474-16486
Processo
è un'
istanza
di
Insomnia
AgenteCognitivo
esperisce
s
Processo
Processo
Durata
and
Durata
2
Processo
è un'
istanza
di
Sleeping
AgenteCognitivo
esperisce
s
Processo
durata
di il
tempo
di esistenza di
Processo
è
Durata
AgenteCognitivo
desidera
s
durata
di il
tempo
di esistenza di
Processo
è
Durata
2
Durata
2 è
pi
ù grande di
Durata
(=>
(
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 5719-5730
Processo
è un'
istanza
di
Itching
Processo
è
localizzato
in
Oggetto
Oggetto
è una
parte
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Scratching
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
(=>
(
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
è un'
istanza
di
Jailbreaking
Entit�
è un'
istanza
di
Computer
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
manufacturer
Oggetto
and
AgenteCognitivo
AgenteCognitivo
non
desidera
Entit�
Processo
è un
agente
di
Entit�
(=>
(
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 10699-10709
Processo
è un'
istanza
di
Quitting
Entit�
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
AgenteCognitivo
desidera
s
AgenteCognitivo
è un
membro
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
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
Oggetto
è un'
istanza
di
WebListing
Processo
è un'
istanza
di
Oggetto
AgenteCognitivo
è un'
istanza
di
AutonomousAgent
attribute
Oggetto
and
AuctionAttribute
Oggetto
è un
paziente
di
Processo
creator
AgenteCognitivo
and
Oggetto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Auctioning
Processo
è un
paziente
di
Entit�
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2227-2233
InsiemeConcreto
è un'
istanza
di
CommunistParty
AgenteCognitivo
è un
membro
di
InsiemeConcreto
Entit�
è un'
istanza
di
AreaGeopolitica
AgenteCognitivo
desidera
s
governmentType
Entit�
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 865-873
Processo
è un'
istanza
di
Punishing
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
AgenteCognitivo
conosce
s
Entit�
non
desidera
Entit�
(=>
(
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
è un'
istanza
di
PsychologicalOperation
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un
agente
di
Entit�
Entit�
è un
risultato
di
Entit�
AutonomousAgent
desidera
s
Entit�
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 13246-13252
Processo
è un'
istanza
di
Richiedere
Processo
è un
agente
di
AgenteCognitivo
Formula
è un
paziente
di
Processo
Formula
è un'
istanza
di
Formula
AgenteCognitivo
desidera
s
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 13175-13185
Processo
è un'
istanza
di
Thanking
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
AutonomousAgent
vuole
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
AutonomousAgent
desidera
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 853-858
Processo
è un'
istanza
di
Threatening
Formula
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
AgenteCognitivo
non
desidera
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
AgenteCognitivo
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
WebListing
AgenteCognitivo
desidera
s
Entit�
Entit�
è un
paziente
di
Entit�
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