Removing
(removing)
(=>
(
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
?S
Strainer
)
(
hasPurpose
?S
(
exists
(?MIX ?SUB ?LIQUID ?REMOVE)
(
and
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
instance
?LIQUID
Substance
)
(
part
?SUB ?MIX)
(
attribute
?SUB
Solid
)
(
instance
?REMOVE
Removing
)
(
part
?LIQUID ?MIX)
(
attribute
?LIQUID
Liquid
)
(
patient
?REMOVE ?SUB)
(
result
?REMOVE ?LIQUID)
(
instrument
?REMOVE ?S)))))
Mid-level-ontology.kif 4549-4564
If
a physical
is an
instance
of
strainer
,
then
the physical
has the purpose there exist
an entity
,
the physical
UB,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
mixture
and
the physical
UB is an
instance
of
substance
and
the third entity
is an
instance
of
substance
and
the physical
UB is a
part
of
the entity
and
solid
is an
attribute
of
the physical
UB and
the fourth entity
is an
instance
of
removing
and
the third entity
is a
part
of
the entity
and
liquid
is an
attribute
of
the third entity
and
the physical
UB is a
patient
of
the fourth entity
and
the third entity
is a
result
of
the fourth entity
and
the physical
is an
instrument
for
the fourth entity
(=>
(
instance
?SUB
Substituting
)
(
exists
(?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
(
and
(
instance
?PUT
Putting
)
(
instance
?REMOVE
Removing
)
(
subProcess
?PUT ?SUB)
(
subProcess
?REMOVE ?SUB)
(
patient
?REMOVE ?OBJ1)
(
origin
?REMOVE ?PLACE)
(
patient
?PUT ?OBJ2)
(
destination
?PUT ?PLACE)
(
not
(
equal
?OBJ1 ?OBJ2)))))
Merge.kif 11454-11466
If
a process
is an
instance
of
substituting
,
then there exist
another process
,
a third process
,, ,
an entity
,, ,
another entity
and
an object
such that
the other process
is an
instance
of
putting
and
the third process
is an
instance
of
removing
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
the entity
is a
patient
of
the third process
and
the third process
originate
s at
the object
and
the other entity
is a
patient
of
the other process
and
the other process
end
s up at
the object
and
the entity
is not
equal
to
the other entity
(=>
(
instance
?TC
TireChanger
)
(
hasPurpose
?TC
(
exists
(?RE ?T ?R)
(
and
(
instance
?RE
Removing
)
(
instance
?T
Tire
)
(
instance
?R
WheelRim
)
(
origin
?RE ?R)
(
objectTransferred
?RE ?T)
(
instrument
?RE ?TC)))))
Cars.kif 4887-4897
If
a physical
is an
instance
of
tire changer
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
removing
and
the other entity
is an
instance
of
tire
and
the third entity
is an
instance
of
rim
and
the entity
originate
s at
the third entity
and the object transferred in
the entity
is
the other entity
and
the physical
is an
instrument
for
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