Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 2802-2806
(
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 2799-2799
Le nombre 1 argument de
desires
est une
instance
de
agent cognitif
(
domain
desires
2
Formula
)
Merge.kif 2800-2800
Le nombre 2 argument de
desires
est une
instance
de
formule
(
instance
desires
BinaryPredicate
)
Merge.kif 2796-2796
desires
est une
instance
de
pr�dicat binaire
(
instance
desires
PropositionalAttitude
)
Merge.kif 2795-2795
desires
est une
instance
de
attitude propositionnelle
(
relatedInternalConcept
desires
wants
)
Merge.kif 2798-2798
desires
est
reli
� � l'int�rieur de SUMO �
wants
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2797-2797
desires
est une
sous
-relation de
inScopeOfInterest
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 8604-8604
disapproves
et
desires
sont
disjoint
(
format
ChineseLanguage
desires
"%1 %n{doesn't}
desires
%2")
chinese_format.kif 91-91
disapproves
et
desires
sont
disjoint
(
format
EnglishLanguage
desires
"%1 %n{doesn't}
de
sire%p{s} %2")
english_format.kif 91-91
disapproves
et
desires
sont
disjoint
(
format
FrenchLanguage
desires
"%1 %n{ne}
de
sire %n{pas} %2")
french_format.kif 68-68
disapproves
et
desires
sont
disjoint
(
format
ItalianLanguage
desires
"%1 %n{non}
de
sidera%p{s} %2")
relations-it.txt 70-70
disapproves
et
desires
sont
disjoint
(
format
JapaneseLanguage
desires
"%1 が %2 を
de
sire%p{s} %n{ない}")
japanese_format.kif 1894-1894
disapproves
et
desires
sont
disjoint
(
format
PortugueseLanguage
desires
"%1 %n{nao}
de
seja %n %2")
portuguese_format.kif 20-20
disapproves
et
desires
sont
disjoint
(
format
cb
desires
"%1 %n kagustuhan %2")
relations-cb.txt 104-104
disapproves
et
desires
sont
disjoint
(
format
cz
desires
"%1 %n{doesn't}
de
sire%p{s} %2")
relations-cz.txt 98-98
disapproves
et
desires
sont
disjoint
(
format
de
desires
"%1 wuenscht %2 %n{nicht}")
relations-de.txt 101-101
disapproves
et
desires
sont
disjoint
(
format
hi
desires
"%1 %2 kii ichchha %n{nahiin} karataa hai")
relations-hindi.txt 111-111
disapproves
et
desires
sont
disjoint
(
format
ro
desires
"%1 %n{nu}
de
sire%t{doreºte} %2")
relations-ro.kif 87-87
disapproves
et
desires
sont
disjoint
(
format
sv
desires
"%1 önskar %n{inte} %2")
relations-sv.txt 67-67
disapproves
et
desires
sont
disjoint
(
format
tg
desires
"%1 %n gusto %2")
relations-tg.txt 156-156
disapproves
et
desires
sont
disjoint
(
relatedInternalConcept
wants
desires
)
Merge.kif 2775-2775
wants
est
reli
� � l'int�rieur de SUMO �
desires
(
termFormat
ChineseLanguage
desires
"欲望")
domainEnglishFormat.kif 19269-19269
wants
est
reli
� � l'int�rieur de SUMO �
desires
(
termFormat
ChineseLanguage
desires
"渴望")
chinese_format.kif 92-92
wants
est
reli
� � l'int�rieur de SUMO �
desires
(
termFormat
ChineseTraditionalLanguage
desires
"慾望")
domainEnglishFormat.kif 19268-19268
wants
est
reli
� � l'int�rieur de SUMO �
desires
(
termFormat
EnglishLanguage
desires
"desires")
domainEnglishFormat.kif 19267-19267
wants
est
reli
� � l'int�rieur de SUMO �
desires
(
termFormat
de
desires
"wuenscht")
terms-de.txt 28-28
wants
est
reli
� � l'int�rieur de SUMO �
desires
(
termFormat
tg
desires
"gusto")
relations-tg.txt 157-157
wants
est
reli
� � l'int�rieur de SUMO �
desires
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
objet
customer
agent cognitif
and
AutonomousAgent
entit�
est une
instance
de
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
l'argument
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
utilise
entit�
a la
force
modale
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 486-495
AutonomousAgent
desire
Dead
est un
attribut
de
entit�
pendant
interval temporel
AutonomousAgent
URDER est une
instance
de
Murder
AutonomousAgent
URDER est un
agent
de
AutonomousAgent
entit�
est un
patient
de
AutonomousAgent
URDER
interval temporel
arrive
plus
t�t que
temps
d'existence de
AutonomousAgent
URDER
Premeditated
est un
attribut
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
Processus
est une
instance
de
DefensiveInformationOperation
processus
est un
agent
de
agent cognitif
enemy
agent cognitif
and
agent cognitif
agent cognitif
desire
agent cognitif
conna
�t
entit�
agent cognitif
desire
agent cognitif
ne
conna
�t
entit�
processus
a pour
but
agent cognitif
ne
conna
�t
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 31426-31438
Collectible
est un
attribut
de
objet
objet
a pour
but
formule
agent cognitif
formule
2
agent cognitif
est une
instance
de
humain
agent cognitif
veut
objet
agent cognitif
desire
formule
2
formule
2
n
�cessite
agent cognitif
poss
�de
objet
equal
formule
and
formule
2
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1812-1816
candidateForPosition
Election
,
r�le social
and
agent cognitif
Election
est un
agent
de
AutonomousAgent
agent cognitif
desire
agent cognitif
occupe la
position
de
r�le 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 300-311
defenseLawyer
action l�gale
and
agent cognitif
defendant
action l�gale
and
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
LegalDecision
entit�
inclut une
r
�f�rence �
action l�gale
agent cognitif
ne
veut
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
objet
and
Computer
objet
I est une
instance
de
objet
Computer
I est une
instance
de
Computer
manufacturer
objet
and
agent cognitif
agent cognitif
desire
programRunning
entit�
and
Computer
I
computerRunning
entit�
and
objet
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 2198-2214
Processus
est une
instance
de
AutoImmuneDisorder
agent cognitif
exp
�rimente
processus
objet
processus
and
objet
objet
est une
instance
de
Antibody
objet
est une
partie
de
agent cognitif
objet
est une
instance
de
cellule
objet
est une
partie
de
agent cognitif
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
agent cognitif
ne
desire
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
(=>
(
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
Processus
est une
instance
de
AddToCart
agent cognitif
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
objet
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
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 23418-23437
Processus
est une
instance
de
Blockade
affrontement
est une
instance
de
affrontement
processus
est un
sous
-processus de
affrontement
contestParticipant
affrontement
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
affrontement
1
agent cognitif
affrontement
1
previent
l'occurrence de
Translocation
processus
est une
instance
de
affrontement
1
contestParticipant
affrontement
and
agent cognitif
equal
AutonomousAgent
and
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
affrontement
1
entit�
est un
agent
de
AutonomousAgent
entit�
est un
sous
-processus de
affrontement
(=>
(
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 3492-3506
ComputerProcess
est une
instance
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
DigitalData
ComputerProcess
est un
agent
de
agent cognitif
agent cognitif
desire
entit�
temps
d'existence de
ComputerProcess
arrive
plus
t�t que
entit�
entit�
entit�
est une
instance
de
ComputerProcess
DigitalData
est
capable
de faire
entit�
dans le r�le
dataProcessed
pendant
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
Collection
est une
instance
de
Club
agent cognitif
est un
membre
de
collection
agent cognitif
est un
membre
de
collection
formule
agent cognitif
desire
formule
agent cognitif
desire
formule
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12362-12367
Processus
est une
instance
de
confiner
agent cognitif
est un
patient
de
processus
agent cognitif
est une
instance
de
humain
agent cognitif
ne
desire
agent cognitif
est un
patient
de
processus
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 14281-14288
Processus
est une
instance
de
ExpressingApproval
processus
est un
agent
de
agent cognitif
formule
est un
patient
de
processus
agent cognitif
veut
formule
agent cognitif
desire
formule
(=>
(
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 4512-4527
Processus
est une
instance
de
FailureFn
processus intentionnel
processus
est un
agent
de
agent cognitif
agent cognitif
desire
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
agent cognitif
processus
processus
est une
instance
de
processus intentionnel
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
processus
est un
agent
de
agent cognitif
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2323-2330
Agent cognitif
est une
instance
de
PoliticalPressureGroup
agent cognitif
a pour
but
formule
agentOperatesInArea
agent cognitif
and
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
agent cognitif
desire
le
gouvernment
de
secteur g�ographique
croit
formule
(=>
(
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 17834-17846
Processus
est une
instance
de
Insomnia
agent cognitif
exp
�rimente
processus
processus
dur�e temporel
and
dur�e temporel
2
processus
est une
instance
de
Sleeping
agent cognitif
exp
�rimente
processus
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
agent cognitif
desire
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
2
dur�e temporel
2 est
plus
grand
que
dur�e temporel
(=>
(
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 6662-6673
Processus
est une
instance
de
Itching
processus
est
situ
� �
objet
objet
est une
partie
de
agent cognitif
agent cognitif
exp
�rimente
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
Scratching
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
entit�
est
situ
� �
objet
(=>
(
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 3472-3482
Processus
est une
instance
de
Jailbreaking
entit�
est une
instance
de
Computer
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
manufacturer
objet
and
agent cognitif
agent cognitif
ne
desire
entit�
processus
est un
agent
de
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 10803-10813
Processus
est une
instance
de
Quitting
entit�
est une
instance
de
organisation
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
desire
agent cognitif
est un
membre
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
WebListing
processus
est une
instance
de
objet
agent cognitif
est une
instance
de
AutonomousAgent
AuctionAttribute
est un
attribut
de
objet
objet
est un
patient
de
processus
creator
agent cognitif
and
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
Auctioning
processus
est un
patient
de
entit�
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2224-2230
Collection
est une
instance
de
CommunistParty
agent cognitif
est un
membre
de
collection
entit�
est une
instance
de
secteur g�opolitique
agent cognitif
desire
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
Processus
est une
instance
de
Punishing
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
agent cognitif
conna
�t
entit�
ne
desire
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
Processus
est une
instance
de
PsychologicalOperation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
entit�
est un
agent
de
entit�
entit�
est le
resultat
de
entit�
AutonomousAgent
desire
entit�
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 13354-13360
Processus
est une
instance
de
demander
processus
est un
agent
de
agent cognitif
formule
est un
patient
de
processus
formule
est une
instance
de
formule
agent cognitif
desire
formule
(=>
(
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 14479-14489
Processus
est une
instance
de
Thanking
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
est une
instance
de
humain
AutonomousAgent
veut
entit�
pendant
temps
d'existence de
processus
AutonomousAgent
desire
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 853-858
Processus
est une
instance
de
Threatening
formule
est un
patient
de
processus
processus
aboutit
�
agent cognitif
agent cognitif
ne
desire
formule
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 61-68
listingSeller
WebListing
and
agent cognitif
entit�
est une
instance
de
objet
entit�
est un
patient
de
WebListing
agent cognitif
desire
entit�
entit�
est un
patient
de
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