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
If
an entity
is a
member
of
public
and
another entity
is a
member
of
public
and
the entity
is not
equal
to
the other entity
holds
during
a time position
,
then there exists
a third entity
such that
the entity
desire
s
the third entity
and
the other entity
desire
s
the third entity
holds
during
the time position
(=>
(
hopes
?AGENT ?FORMULA)
(
desires
?AGENT ?FORMULA))
Mid-level-ontology.kif 7404-7406
If
a cognitive agent
hopes
a formula
will become true,
then
the cognitive agent
desire
s
the formula
(=>
(
inhibits
?A ?P)
(
desires
?A
(
not
(
exists
(?I)
(
instance
?I ?P)))))
Mid-level-ontology.kif 18371-18376
If
a cognitive agent
inhibit
s
a kind of process
,
then
the cognitive agent
desire
s there doesn't exist
an entity
such that
the entity
is an
instance
of
a kind of process
(=>
(
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
If
a physical
is an
instance
of
art work
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
human
and
the entity
desire
s there exists
another entity
such that
the other entity
is an
instance
of
perception
and
the entity
experience
s
the other entity
and
the physical
is a
patient
of
the other entity
(=>
(
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
If
a content bearing physical
is an
instance
of
business requirement document
,
then there exist
a proposition
,
a cognitive agent
and
a formula
such that
the proposition
is an
instance
of
plan
and
the cognitive agent
is an
instance
of
business
and
the formula
is an
instance
of
process
and
the proposition
express
es
the formula
and
the cognitive agent
desire
s
the formula
and
the content bearing physical
contain
s information
the 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
If
a process
is an
instance
of
phishing
,
then there exist
a cognitive agent
,
another cognitive agent
,, ,
another process
and
a formula
such that
the other process
is an
instance
of
communication
and
the other process
originate
s at
the cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the other process
end
s up at
the other cognitive agent
and
the formula
is an
instance
of
formula
and
the other cognitive agent
know
s
the formula
and
the other cognitive agent
doesn't
desire
the cognitive agent
know
s
the formula
and
the cognitive agent
desire
s
the cognitive agent
know
s
the formula
(=>
(
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
If
a process
is an
instance
of
prompting
,
then there exist
an entity
and
a cognitive agent
such that
the process
end
s up at
the entity
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
linguistic communication
and
the entity
is an
agent
of
the other entity
and
the process
happens
earlier
than
the other entity
and
the other entity
subsume
s the content of
the process
(=>
(
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
If
a physical
is an
instance
of
sieve
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
the physical
UB,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
removing
and
the other entity
is an
instance
of
mixture
and
the physical
UB is an
instance
of
substance
and
the physical
UB is a
part
of
the other entity
and
the physical
UB is a
patient
of
the entity
and
the fourth entity
is a
part
of
the physical
and
the fourth entity
is an
instrument
for
the entity
and
the fifth entity
is an
instance
of
human
and
the fifth entity
is an
agent
of
the entity
and
the fifth entity
doesn't
desire
the physical
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
If
a physical
is an
instance
of the
abortion
of
an agent
by
a process
,
then there exists
a time interval
such that
the agent
desire
s there exists
the process
R such that
the process
R is an
instance
of
the process
and
the agent
is an
agent
of
the process
R holds
during
the time interval
and
the time interval
happens
earlier
than the
time
of existence of
the physical
(=>
(
plays
?G ?A)
(
desires
?A
(
and
(
instance
?S
Score
)
(
subProcess
?S ?G)
(
agent
?S ?A))))
ComputingBrands.kif 1710-1716
If
a cognitive agent
plays
a game
,
then
the cognitive agent
desire
s
an entity
is an
instance
of
score
and
the entity
is a
subprocess
of
the game
and
the cognitive agent
is an
agent
of
the entity
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
If
a cognitive agent
plays
a game
,
then
the cognitive agent
desire
s there exists
an entity
such that
the cognitive agent
has achieved
the entity
in
the game
(=>
(
prohibits
?A ?F)
(
desires
?A
(
not
?F)))
Law.kif 55-58
If
a cognitive agent
prohibits
a formula
,
then
the cognitive agent
desire
s
the formula
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30890-30896
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and
the cognitive agent
possess
es
the entity
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
If
a human
is a
seller
at
a web site
,
then
the human
desire
s there exists
an entity
such that
the entity
is an
instance
of
selling
and
the human
is an
agent
of
the entity
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