desires
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
If
an organism
is a
parent
of
another organism
and
the other organism
is an
instance
of
human child
or
the other organism
is an
instance
of
human baby
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
child-care service
and
the organism
desire
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
prosecutor
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L))))))
Law.kif 318-328
If
a cognitive agent
is the prosecutor in
a legal action
and
another cognitive agent
is the
defendant
in
the legal action
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
legal decision
and
the entity
includes a
reference
to
the legal action
and
the other cognitive agent
doesn't
want
the entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
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
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the other entity
and
the quantity
is a
member
count of
the other entity
and
the cognitive agent
possess
es
the other entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
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
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the entity
and
the quantity
is a
member
count of
the entity
and
the cognitive agent
possess
es
the entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
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
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
a kind of object
and the
measure
of
the other entity
is
the quantity
and
the cognitive agent
possess
es
the other entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
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
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the quantity
and
the cognitive agent
possess
es
the entity
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
If
a cognitive agent
want
s
a physical
and
the physical
is an
instance
of
object
,
then
the cognitive agent
desire
s
the cognitive agent
possess
es
the physical
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
If user
an agent
on
a web site
is
watching
a collection
and
a process
is an
instance
of
web listing
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the process
is a
member
of
the collection
,
then the statement
the agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
buying
and
the entity
is a
patient
of
the other entity
and
the agent
is an
agent
of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
If user
a cognitive agent
at
a web site
has
cart
a collection
and
a physical
is an
instance
of
object
and
the physical
is a
member
of
the collection
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
buying
and
the physical
is a
patient
of
the entity
and
the cognitive agent
is an
agent
of
the entity
(=>
(
attribute
?A
Bored
)
(
exists
(?DO)
(
and
(
instance
?DO
IntentionalProcess
)
(
agent
?DO ?A)
(
holdsDuring
(
WhenFn
?DO)
(
desires
?A
(
not
(
agent
?DO ?A)))))))
Mid-level-ontology.kif 19828-19837
If
bored
is an
attribute
of
an agent
,
then there exists
a process
such that
the process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the process
and
the agent
desire
s
the agent
is not an
agent
of
the process
holds
during
the
time
of existence of
the process
(=>
(
attribute
?A
Hungry
)
(
desires
?A
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?A)))))
Mid-level-ontology.kif 19791-19797
If
hungry
is an
attribute
of
a cognitive agent
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the entity
(=>
(
attribute
?A
Schadenfreude
)
(
exists
(?A2 ?P)
(
and
(
causesProposition
?P
(
attribute
?A
Schadenfreude
))
(
not
(
equal
?A ?A2))
(
not
(
desires
?A2 ?P)))))
emotion.kif 766-775
If
schadenfreude
is an
attribute
of
an object
,
then there exist
the object
2 and
a formula
such that
schadenfreude
is an
attribute
of
the object
is a
causes
proposition of
the formula
and
the object
is not
equal
to
the object
2 and
the object
2 doesn't
desire
the formula
(=>
(
attribute
?A
Thirsty
)
(
desires
?A
(
exists
(?D)
(
and
(
instance
?D
Drinking
)
(
agent
?D ?A)))))
Mid-level-ontology.kif 19804-19810
If
thirsty
is an
attribute
of
a cognitive agent
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
drinking
and
the cognitive agent
is an
agent
of
the entity
(=>
(
attribute
?A
Tired
)
(
desires
?A
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
agent
?S ?A)))))
Mid-level-ontology.kif 19816-19822
If
tired
is an
attribute
of
a cognitive agent
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
sleeping
and
the cognitive agent
is an
agent
of
the entity
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22543-22551
If
political figure
is an
attribute
of
a cognitive agent
,
then there exists
a collection
such that
the collection
is an
instance
of
government
and
the cognitive agent
is a
member
of
the collection
or
the cognitive agent
desire
s
the cognitive agent
is a
member
of
the collection
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
If
a human
is the counsel for
an agent
in
a legal action
,
then
the human
desire
s there exists
the legal action
D such that
the legal action
D is an
instance
of
legal decision
and
the legal action
cause
s
the legal action
D and
the agent
is a beneficiary of
the legal action
D
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
If
a cognitive agent
dislikes
an object
,
then
the cognitive agent
desire
s
the cognitive agent
doesn't
possess
the object
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7376-7384
If
a cognitive agent
enjoys
an entity
,
then
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
the entity
and
the cognitive agent
is an
agent
of
the other entity
or
the cognitive agent
experience
s
the other entity
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
If
an organization
is
equal
to
another organization
is
preventing
a kind of physical
,
then
the other organization
doesn't
desire
there exists
an entity
such that
the entity
is an
instance
of
a kind of physical
and
the other organization
is an
involved
in event of
the entity
(=>
(
fears
?AGENT ?FORMULA)
(
not
(
desires
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7393-7396
If
a cognitive agent
fears
a formula
,
then
the cognitive agent
doesn't
desire
the formula
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
If
a cognitive agent
is
located
at
an entity
and
a time position
the time position
U(s) is an
air
temperature of
the entity
and
feeling hot
is an
attribute
of
the cognitive agent
holds
during
the time position
,
then
the cognitive agent
desire
s
the time position
2
the time position
U(s) is an
air
temperature of
the entity
and
the time position
2 is
greater
than
the time position
holds
during
the time position
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
If
a cognitive agent
is
located
at
an entity
and
a time position
the time position
U(s) is an
air
temperature of
the entity
and
feeling hot
is an
attribute
of
the cognitive agent
holds
during
the time position
,
then
the cognitive agent
desire
s
the time position
2
the time position
U(s) is an
air
temperature of
the entity
and
the time position
is
greater
than
the time position
2 holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
holdsDuring
?T
(
and
(
desires
?H
(
attribute
?H
Asleep
))
(
not
(
attribute
?H
Asleep
)))))
Medicine.kif 2095-2103
If
insomnia
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
desire
s
asleep
is an
attribute
of
the entity
and
asleep
is not an
attribute
of
the entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
RectalTenesmus
))
(
holdsDuring
?T
(
and
(
desires
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))
(
not
(
needs
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))))))
Medicine.kif 5110-5125
If
rectal tenesmus
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
desire
s there exists
another entity
such that
the other entity
is an
instance
of
defecation
and
the entity
is an
agent
of
the other entity
and
the entity
doesn't
need
there exists
the other entity
such that
the other entity
is an
instance
of
defecation
and
the entity
is an
agent
of
the other entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
If
sleepy
is an
attribute
of
a cognitive agent
holds
during
a time position
,
then
the cognitive agent
desire
s
asleep
is an
attribute
of
the cognitive agent
holds
during
immediately
after
the time position
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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