desires
(=>
(
holdsDuring
?T1
(
and
(
member
?AGENT1
Public
)
(
member
?AGENT2
Public
)
(
not
(
equal
?AGENT1 ?AGENT2))))
(
exists
(?INTEREST)
(
holdsDuring
?T1
(
and
(
desires
?AGENT1 ?INTEREST)
(
desires
?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 26080-26091
Entit�
est un
membre
de
Public
entit�
est un
membre
de
Public
entit�
est
entit�
pendant
position temporel
entit�
entit�
desire
entit�
entit�
desire
entit�
pendant
position temporel
(=>
(
hopes
?AGENT ?FORMULA)
(
desires
?AGENT ?FORMULA))
Mid-level-ontology.kif 7404-7406
hopes
agent cognitif
and
formule
agent cognitif
desire
formule
(=>
(
inhibits
?A ?P)
(
desires
?A
(
not
(
exists
(?I)
(
instance
?I ?P)))))
Mid-level-ontology.kif 18371-18376
Agent cognitif
inhibe
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
processus
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
desires
?H
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW))))))))
Merge.kif 15854-15865
Physique
est une
instance
de
objet d'art
physique
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
desire
entit�
entit�
est une
instance
de
perception
entit�
exp
�rimente
entit�
physique
est un
patient
de
entit�
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
ContentBearingPhysical
est une
instance
de
BusinessRequirementDocument
proposition
agent cognitif
and
formule
proposition
est une
instance
de
plan
agent cognitif
est une
instance
de
Business
formule
est une
instance
de
processus
proposition
d
�finie
formule
agent cognitif
desire
formule
ContentBearingPhysical
contient
information
proposition
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
Processus
est une
instance
de
Phishing
agent cognitif
agent cognitif
,
processus
and
formule
processus
est une
instance
de
communication
processus
a pour
origine
agent cognitif
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
formule
est une
instance
de
formule
agent cognitif
conna
�t
formule
agent cognitif
ne
desire
%n{pas}
agent cognitif
conna
�t
formule
agent cognitif
desire
agent cognitif
conna
�t
formule
(=>
(
instance
?P
Prompting
)
(
exists
(?H ?A)
(
and
(
destination
?P ?H)
(
agent
?P ?A)
(
desires
?A
(
exists
(?LC)
(
and
(
instance
?LC
LinguisticCommunication
)
(
agent
?LC ?H)
(
earlier
?P ?LC)
(
subsumesContentInstance
?LC ?P)))))))
Mid-level-ontology.kif 29710-29722
Processus
est une
instance
de
Prompting
entit�
agent cognitif
processus
aboutit
�
entit�
processus
est un
agent
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
LinguisticCommunication
entit�
est un
agent
de
entit�
processus
arrive
plus
t�t que
entit�
entit�
classe
le contenu de
processus
(=>
(
instance
?S
Sieve
)
(
hasPurpose
?S
(
exists
(?REMOVE ?MIX ?SUB ?HOLE ?A)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
part
?SUB ?MIX)
(
patient
?REMOVE ?SUB)
(
part
?HOLE ?S)
(
instrument
?REMOVE ?HOLE)
(
instance
?A
Human
)
(
agent
?REMOVE ?A)
(
not
(
desires
?A ?SUB))))))
Mid-level-ontology.kif 4528-4543
Physique
est une
instance
de
Sieve
physique
a pour
but
entit�
entit�
,
physique
UB,
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
mixture
physique
UB est une
instance
de
substance
physique
UB est une
partie
de
entit�
physique
UB est un
patient
de
entit�
entit�
est une
partie
de
physique
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
entit�
ne
desire
%n{pas}
physique
UB
(=>
(
instance
?X
(
AbortedFn
?A ?P))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
desires
?A
(
exists
(?PR)
(
and
(
instance
?PR ?P)
(
agent
?PR ?A)))))
(
earlier
?T
(
WhenFn
?X)))))
MilitaryProcesses.kif 2417-2428
Physique
est une
instance
de
AbortedFn
AutonomousAgent
and
processus
interval temporel
AutonomousAgent
desire
processus
R
processus
R est une
instance
de
processus
processus
R est un
agent
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
temps
d'existence de
physique
(=>
(
plays
?G ?A)
(
desires
?A
(
and
(
instance
?S
Score
)
(
subProcess
?S ?G)
(
agent
?S ?A))))
ComputingBrands.kif 1710-1716
plays
jeu
and
agent cognitif
agent cognitif
desire
entit�
est une
instance
de
Score
entit�
est un
sous
-processus de
jeu
entit�
est un
agent
de
agent cognitif
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
plays
jeu
and
agent cognitif
agent cognitif
desire
entit�
achievement
jeu
,
agent cognitif
and
entit�
(=>
(
prohibits
?A ?F)
(
desires
?A
(
not
?F)))
Law.kif 55-58
prohibits
agent cognitif
and
formule
agent cognitif
desire
formule
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30890-30896
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
agent cognitif
desire
entit�
entit�
est une
instance
de
objet
agent cognitif
poss
�de
entit�
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
webSeller
humain
and
WebSite
humain
desire
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
humain
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