Animal
(animal)
(=>
(
instance
?CONFINE
Confining
)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
Animal
)
(
patient
?CONFINE ?AGENT))))
Merge.kif 12205-12210
If
a process
is an
instance
of
confining
,
then there exists
an entity
such that
the entity
is an
instance
of
animal
and
the entity
is a
patient
of
the process
(=>
(
instance
?D
Dish
)
(
hasPurpose
?D
(
exists
(?F ?E)
(
and
(
instance
?E
Eating
)
(
patient
?E ?F)
(
patient
?E ?D)
(
instance
?F
(
FoodForFn
Animal
))
(
located
?F ?D)))))
Mid-level-ontology.kif 4433-4442
If
a physical
is an
instance
of
dish
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is a
patient
of
the other entity
and
the physical
is a
patient
of
the other entity
and
the entity
is an
instance
of
food
for
animal
and
the entity
is
located
at
the physical
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
If
a process
is an
instance
of
food distribution operation
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
food
for
animal
and
the other entity
is an
instance
of
cognitive agent
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
and
the other entity
possess
es
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
instance
?GROUP
GroupOfAnimals
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?GROUP)
(
and
(
instance
?MEMBER
Animal
)
(
not
(
instance
?MEMBER
Human
))))))
Mid-level-ontology.kif 7480-7487
If
a collection
is an
instance
of
group of animals
,
then for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
animal
and
the physical
is not an
instance
of
human
(=>
(
instance
?H
Hunting
)
(
exists
(?T)
(
and
(
instance
?T
Animal
)
(
patient
?H ?T))))
Merge.kif 12903-12908
If
a process
is an
instance
of
hunting
,
then there exists
an entity
such that
the entity
is an
instance
of
animal
and
the entity
is a
patient
of
the process
(=>
(
instance
?INJECT
Injecting
)
(
exists
(?SUBSTANCE ?ANIMAL)
(
and
(
patient
?INJECT ?SUBSTANCE)
(
instance
?SUBSTANCE
BiologicallyActiveSubstance
)
(
attribute
?SUBSTANCE
Liquid
)
(
destination
?INJECT ?ANIMAL)
(
instance
?ANIMAL
Animal
))))
Merge.kif 11438-11446
If
a process
is an
instance
of
injecting
,
then there exist
an object
and
an entity
such that
the object
is a
patient
of
the process
and
the object
is an
instance
of
biologically active substance
and
liquid
is an
attribute
of
the object
and
the process
end
s up at
the entity
and
the entity
is an
instance
of
animal
(=>
(
instance
?ITEM
Livestock
)
(
instance
?ITEM
Animal
))
Economy.kif 4892-4894
If
an entity
is an
instance
of
livestock
,
then
the entity
is an
instance
of
animal
(=>
(
instance
?LEG
Leg
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
part
?LEG ?ANIMAL))))
Mid-level-ontology.kif 12675-12680
If
an object
is an
instance
of
leg
,
then there exists
another object
such that
the other object
is an
instance
of
animal
and
the object
is a
part
of
the other object
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
If
an object
is an
instance
of
meat
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
animal
(=>
(
instance
?MEAT
Meat
)
(
forall
(?PART)
(=>
(
part
?PART ?MEAT)
(
exists
(?SUBPART ?TIME ?ANIMAL)
(
and
(
part
?SUBPART ?PART)
(
holdsDuring
?TIME
(
and
(
instance
?ANIMAL
Animal
)
(
part
?SUBPART ?ANIMAL))))))))
Merge.kif 14884-14895
If
an object
is an
instance
of
meat
,
then for all
another object
if
the other object
is a
part
of
the object
,
then there exist
a third object
,
a time position
and
an entity
such that
the third object
is a
part
of
the other object
and
the entity
is an
instance
of
animal
and
the third object
is a
part
of
the entity
holds
during
the time position
(=>
(
instance
?N
Needle
)
(
hasPurpose
?N
(
exists
(?H ?TP ?F ?RI)
(
and
(
instance
?H
Animal
)
(
instance
?TP
TherapeuticProcss
)
(
attribute
?F
Fluid
)
(
patient
?TP ?H)
(
instrument
?TP ?N)
(
or
(
instance
?RI
Removing
)
(
instance
?RI
Inserting
))
(
subProcess
?RI ?TP)
(
objectTransferred
?RI ?F)))))
Medicine.kif 924-938
If
a physical
is an
instance
of
needle
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
animal
and
the other entity
is an
instance
of
TherapeuticProcss
and
fluid
is an
attribute
of
the third entity
and
the entity
is a
patient
of
the other entity
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is an
instance
of
removing
or
the fourth entity
is an
instance
of
inserting
and
the fourth entity
is a
subprocess
of
the other entity
and the object transferred in
the fourth entity
is
the third entity
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O ?P)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
instance
?P
Putting
)
(
subProcess
?P ?OT)
(
objectTransferred
?P ?O)
(
destination
?P ?H))))
Medicine.kif 4642-4651
If
a process
is an
instance
of
transplant
,
then there exist
an entity
,
an object
and
a transfer
such that
the entity
is an
instance
of
animal
and
the object
is an
instance
of
organ
and
the transfer
is an
instance
of
putting
and
the transfer
is a
subprocess
of
the process
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at
the entity
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
needs
?H ?O))))
Medicine.kif 4634-4640
If
an entity
is an
instance
of
transplant
,
then there exist
a cognitive agent
and
a physical
such that
the cognitive agent
is an
instance
of
animal
and
the physical
is an
instance
of
organ
and
the cognitive agent
need
s
the physical
(=>
(
instance
?P
AnimalProduct
)
(
exists
(?M ?A ?B)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?A)
(
or
(
instance
?A
Animal
)
(
and
(
part
?B ?A)
(
instance
?B
AnatomicalStructure
))))))
Economy.kif 5013-5024
If
an entity
is an
instance
of
AnimalProduct
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
and
the object
is a
patient
of
the process
and
the object
is an
instance
of
animal
or
the other object
is a
part
of
the object
and
the other object
is an
instance
of
anatomical structure
(=>
(
instance
?P
Pill
)
(
hasPurpose
?P
(
exists
(?A ?I)
(
and
(
instance
?A
Animal
)
(
instance
?I
Ingesting
)
(
experiencer
?I ?A)
(
objectTransferred
?I ?P)))))
Mid-level-ontology.kif 9255-9263
If
a physical
is an
instance
of
pill
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
animal
and
the other entity
is an
instance
of
ingesting
and
the entity
experience
s
the other entity
and the object transferred in
the other entity
is
the physical
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(
exists
(?PERSON ?FACE ?EYE ?COVER)
(
and
(
instance
?PERSON
Animal
)
(
instance
?FACE
Face
)
(
instance
?EYE
Eye
)
(
properPart
?EYE ?FACE)
(
properPart
?FACE ?PERSON)
(
wears
?PERSON ?PE)
(
instance
?COVER
Covering
)
(
agent
?COVER ?PE)
(
patient
?COVER ?FACE)))))
Cars.kif 3511-3524
If
a physical
is an
instance
of
protective eyewear
,
then
the physical
has the purpose there exist
the physical
RSON,
another entity
,, ,
a third entity
and
a fourth entity
such that
the physical
RSON is an
instance
of
animal
and
the other entity
is an
instance
of
face
and
the third entity
is an
instance
of
eye
and
the third entity
is a
proper
part
of
the other entity
and
the other entity
is a
proper
part
of
the physical
RSON and
the physical
RSON
wear
s
the physical
and
the fourth entity
is an
instance
of
covering
and
the physical
is an
agent
of
the fourth entity
and
the other entity
is a
patient
of
the fourth entity
(=>
(
instance
?PROCESS
PsychologicalProcess
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
experiencer
?PROCESS ?ANIMAL))))
Merge.kif 10377-10382
If
a process
is an
instance
of
psychological process
,
then there exists
an agent
such that
the agent
is an
instance
of
animal
and
the agent
experience
s
the process
(=>
(
instance
?RESIDENCE
AnimalResidence
)
(
hasPurpose
?RESIDENCE
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
not
(
instance
?ANIMAL
Human
))
(
inhabits
?ANIMAL ?RESIDENCE)))))
Mid-level-ontology.kif 6997-7004
If
a physical
is an
instance
of
animal residence
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
animal
and
the entity
is not an
instance
of
human
and
the entity
live
s in
the physical
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11662-11667
If
an object
is an
instance
of
skeleton
,
then there exists
another object
such that
the other object
is an
instance
of
animal
and
the object
is a
interior
part of
the other object
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10991-10998
If
an object
is an
instance
of
skin
,
then there exist
a self connected object
and
another self connected object
such that
the self connected object
is a
surface
of
the other self connected object
and
the object
is a
part
of
the other self connected object
and
the other self connected object
is an
instance
of
animal
and
the object
and
the self connected object
overlapsSpatially
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
If
an entity
is an
instance
of
plant spinose structure
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
inserting
and
the entity
is an
instrument
for
the other entity
and
the fourth entity
is an
instance
of
animal
and
the fourth entity
is a
patient
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
pain
and
the fourth entity
experience
s
the third entity
has the
modal
force
of
possibility
(=>
(
instance
?STORE
GroceryStore
)
(
exists
(?SELL ?FOOD)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?STORE)
(
patient
?SELL ?FOOD)
(
instance
?FOOD
(
FoodForFn
Animal
)))))
Mid-level-ontology.kif 7818-7825
If
an agent
is an
instance
of
grocery store
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
selling
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
food
for
animal
(=>
(
instance
?SV
SafetyVest
)
(
hasPurpose
?SV
(
exists
(?PERSON ?SPECTATOR)
(
and
(
instance
?PERSON
Animal
)
(
instance
?SPECTATOR
Human
)
(
increasesLikelihood
(
wears
?PERSON ?SV)
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR))))
(
decreasesLikelihood
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR)))
(
exists
(?INJ)
(
and
(
instance
?INJ
Injuring
)
(
agent
?INJ ?SPECTATOR)
(
patient
?INJ ?PERSON))))))))
Cars.kif 3558-3582
If
a physical
is an
instance
of
safety vest
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
animal
and
the other entity
is an
instance
of
human
and
the entity
wear
s
the physical
increase
s likelihood of there exists
a third entity
such that
the third entity
is an
instance
of
seeing
and
the entity
is a
patient
of
the third entity
and
the other entity
experience
s
the third entity
and there exists
the third entity
such that
the third entity
is an
instance
of
seeing
and
the entity
is a
patient
of
the third entity
and
the other entity
experience
s
the third entity
decrease
s likelihood of there exists
a fourth entity
such that
the fourth entity
is an
instance
of
injuring
and
the other entity
is an
agent
of
the fourth entity
and
the entity
is a
patient
of
the fourth entity
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
If
an object
is an
instance
of
military food truck
,
then
the object
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
instance
?TA
TopicalApplication
)
(
exists
(?M ?A ?S)
(
and
(
instance
?M
Medicine
)
(
instance
?A
Animal
)
(
instance
?S
Skin
)
(
part
?S ?A)
(
objectTransferred
?TA ?M)
(
destination
?M ?S))))
Mid-level-ontology.kif 12448-12457
If
a transfer
is an
instance
of
topical application
,
then there exist
an object
,
another object
and
a third object
such that
the object
is an
instance
of
medicine
and
the other object
is an
instance
of
animal
and
the third object
is an
instance
of
skin
and
the third object
is a
part
of
the other object
and the object transferred in
the transfer
is
the object
and
the object
end
s up at
the third object
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