Human
(human)
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3317-3332
If
a physical
is an
instance
of
anti-seizure
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
ingesting
and the object transferred in
the other entity
is
the physical
and
the entity
is an
agent
of
the other entity
and the
time
of existence of
the other entity
happens
earlier
than
the third entity
and there doesn't exist
a fourth entity
such that
the fourth entity
is an
instance
of
epileptic seizure
and
the entity
experience
s
the fourth entity
holds
during
the third entity
(=>
(
instance
?AD
HumanDoll
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
represents
?AD ?H))))
Mid-level-ontology.kif 2420-2425
If
an entity
is an
instance
of
human doll
,
then there exists
another entity
such that
the other entity
is an
instance
of
human
and
the entity
express
es
the other entity
(=>
(
instance
?ANIMAL
DomesticAnimal
)
(
exists
(?KEEP ?PERSON)
(
and
(
instance
?KEEP
Keeping
)
(
agent
?KEEP ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?KEEP ?ANIMAL))))
Mid-level-ontology.kif 20022-20029
If
an entity
is an
instance
of
domestic animal
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
keeping
and
the agent
is an
agent
of
the process
and
the agent
is an
instance
of
human
and
the entity
is a
patient
of
the process
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW)))))
Merge.kif 15844-15852
If
a physical
is an
instance
of
art work
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
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
?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
?B
Biography
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
refers
?B ?H))))
Mid-level-ontology.kif 14898-14903
If
an entity
is an
instance
of
biography
,
then there exists
another entity
such that
the other entity
is an
instance
of
human
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?B
Burrow
)
(
exists
(?P ?A)
(
and
(
instance
?P
Process
)
(
agent
?P ?A)
(
instance
?A
Animal
)
(
not
(
instance
?A
Human
))
(
result
?P ?B))))
Geography.kif 6031-6040
If
an entity
is an
instance
of
burrow
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
process
and
the agent
is an
agent
of
the process
and
the agent
is an
instance
of
animal
and
the agent
is not an
instance
of
human
and
the entity
is a
result
of
the process
(=>
(
instance
?B
HumanBack
)
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
instance
?T
Torso
)
(
part
?T ?P)
(
equal
?B
(
BackFn
?T)))))
Medicine.kif 5659-5666
If
a self connected object
is an
instance
of
back
,
then there exist
an object
and
another self connected object
such that
the object
is an
instance
of
human
and
the other self connected object
is an
instance
of
torso
and
the other self connected object
is a
part
of
the object
and
the self connected object
is
equal
to the
back
of
the other self connected object
(=>
(
instance
?BAKERY
Bakery
)
(
exists
(?SERVICE ?FOOD ?BAKE)
(
and
(
instance
?BAKE
Baking
)
(
result
?BAKE ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
))
(
agent
?BAKE ?BAKERY)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?BAKERY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?FOOD))))
Dining.kif 70-81
If
an agent
is an
instance
of
bakery
,
then there exist
a process
,
an entity
and
another process
such that
the other process
is an
instance
of
baking
and
the entity
is a
result
of
the other process
and
the entity
is an
instance
of
food
for
human
and
the agent
is an
agent
of
the other process
and
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
(=>
(
instance
?BD
BathingDevice
)
(
hasPurpose
?BD
(
exists
(?B ?P)
(
and
(
instance
?B
Bathing
)
(
instrument
?B ?BD)
(
patient
?B ?P)
(
instance
?P
Human
)))))
Mid-level-ontology.kif 8873-8881
If
a physical
is an
instance
of
bathing device
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
bathing
and
the physical
is an
instrument
for
the entity
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
human
(=>
(
instance
?BLANKET
Blanket
)
(
hasPurpose
?BLANKET
(
exists
(?HEAT ?PERSON ?BED)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?PERSON)
(
instance
?PERSON
Human
)
(
located
?PERSON ?BED)
(
instance
?BED
Bed
)))))
Mid-level-ontology.kif 5435-5444
If
a physical
is an
instance
of
blanket
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
heating
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
human
and
the other entity
is
located
at
the third entity
and
the third entity
is an
instance
of
bed
(=>
(
instance
?BUILDING
Building
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
or
(
inhabits
?HUMAN ?BUILDING)
(
exists
(?ACT)
(
and
(
agent
?ACT ?HUMAN)
(
located
?ACT ?BUILDING)))))))
Merge.kif 15743-15753
If
an object
is an
instance
of
building
,
then there exists
an organism
such that
the organism
is an
instance
of
human
and
the organism
live
s in
the object
or there exists
a process
such that
the organism
is an
agent
of
the process
and
the process
is
located
at
the object
(=>
(
instance
?C
Coronation
)
(
exists
(?PERSON ?PLACE)
(
and
(
instance
?PERSON
Human
)
(
patient
?C ?PERSON)
(
instance
?PLACE
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
chiefOfState
?PLACE
Monarch
?PERSON)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
chiefOfState
?PLACE
Monarch
?PERSON)))))
Government.kif 1375-1390
If
a process
is an
instance
of
coronation
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the entity
is a
patient
of
the process
and
the other entity
is an
instance
of
geopolitical area
and
the other entity
doesn't
chief
of state
monarch
for
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
chief
of state
monarch
for
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
instance
?C
Partnership
)
(
exists
(?H1 ?H2)
(
and
(
instance
?H1
Human
)
(
instance
?H2
Human
)
(
not
(
equal
?H1 ?H2))
(
possesses
?H1 ?C)
(
possesses
?H2 ?C))))
Mid-level-ontology.kif 7216-7224
If
an object
is an
instance
of
partnership
,
then there exist
an agent
and
another agent
such that
the agent
is an
instance
of
human
and
the other agent
is an
instance
of
human
and
the agent
is not
equal
to
the other agent
and
the agent
possess
es
the object
and
the other agent
possess
es
the object
(=>
(
instance
?C
Proprietorship
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
possesses
?H ?C)
(
not
(
exists
(?H2)
(
and
(
not
(
equal
?H ?H2))
(
possesses
?H2 ?C)))))))
Mid-level-ontology.kif 7308-7318
If
an object
is an
instance
of
proprietorship
,
then there exists
an agent
such that
the agent
is an
instance
of
human
and
the agent
possess
es
the object
and there doesn't exist
the agent
2 such that
the agent
is not
equal
to
the agent
2 and
the agent
2
possess
es
the object
(=>
(
instance
?C
Restaurant
)
(
exists
(?S ?F ?B)
(
and
(
instance
?S
CommercialService
)
(
agent
?S ?C)
(
instance
?S
Selling
)
(
instance
?B
RestaurantBuilding
)
(
eventLocated
?S ?B)
(
patient
?S ?F)
(
instance
?F
(
FoodForFn
Human
)))))
Mid-level-ontology.kif 7281-7291
If
an agent
is an
instance
of
restaurant
,
then there exist
a process
,
an entity
and
an object
such that
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the object
is an
instance
of
restaurant building
and
the process
is
located
at
the object
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
food
for
human
(=>
(
instance
?CAR
PassengerRailcar
)
(
exists
(?CARRY)
(
capability
(
KappaFn
?CARRY
(
and
(
instance
?CARRY
Transportation
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
patient
?CARRY ?HUMAN)))))
instrument
?CAR)))
Transportation.kif 2127-2137
If
an object
is an
instance
of
passenger railcar
,
then there exists
the object
RY such that
the object
is
capable
of doing the
class
described by
the object
RY as a
instrument
(=>
(
instance
?CHAIR
Chair
)
(
hasPurpose
?CHAIR
(
not
(
exists
(?PERSON1 ?PERSON2)
(
and
(
instance
?PERSON1
Human
)
(
instance
?PERSON2
Human
)
(
holdsDuring
?T
(
and
(
attribute
?PERSON1
Sitting
)
(
attribute
?PERSON2
Sitting
)
(
located
?PERSON1 ?CHAIR)
(
located
?PERSON2 ?CHAIR)))
(
not
(
equal
?PERSON1 ?PERSON2)))))))
Mid-level-ontology.kif 3733-3748
If
a physical
is an
instance
of
chair
,
then
the physical
has the purpose there don't exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
human
and
sitting
is an
attribute
of
the entity
and
sitting
is an
attribute
of
the other entity
and
the entity
is
located
at
the physical
and
the other entity
is
located
at
the physical
holds
during
a third entity
and
the entity
is not
equal
to
the other entity
(=>
(
instance
?CHECK
SelfServiceCheckIn
)
(
exists
(?AGENT)
(
and
(
agent
?CHECK ?AGENT)
(
not
(
instance
?AGENT
Human
)))))
Hotel.kif 2174-2179
If
a process
is an
instance
of
self-service check-in
,
then there exists
an agent
such that
the agent
is an
agent
of
the process
and
the agent
is not an
instance
of
human
(=>
(
instance
?CHECK
SelfServiceCheckOut
)
(
exists
(?AGENT)
(
and
(
agent
?CHECK ?AGENT)
(
not
(
instance
?AGENT
Human
)))))
Hotel.kif 2211-2216
If
a process
is an
instance
of
self-service check-out
,
then there exists
an agent
such that
the agent
is an
agent
of
the process
and
the agent
is not an
instance
of
human
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
If
a process
is an
instance
of
cooking
,
then there exists
an entity
such that
the entity
is an
instance
of
food
for
human
and
the entity
is a
result
of
the process
(=>
(
instance
?CPR
CPR
)
(
hasPurpose
?CPR
(
exists
(?O ?HB)
(
and
(
instance
?O
Human
)
(
instance
?HB
HeartBeat
)
(
located
?HB ?O)
(
causes
?CPR ?HB)))))
Medicine.kif 599-607
If
a physical
is an
instance
of
cardio-pulmonary resuscitation
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
heart beat
and
the other entity
is
located
at
the entity
and
the physical
cause
s
the other entity
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10010-10023
If
a physical
is an
instance
of
diuretic
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the other entity
OC such that
the third entity
is an
instance
of
human
and
the entity
is an
instance
of
removing
and
the other entity
is an
instance
of
liquid
and
the third entity
experience
s
the entity
and
the other entity
moves during
the entity
and
the other entity
originate
s at
the third entity
and
the third entity
doesn't
contain
the other entity
OC and
the entity
end
s up at
the other entity
OC
(=>
(
instance
?DISEASE
VaccinatableDisease
)
(
exists
(?VACCINE ?HUMAN ?PUT)
(
and
(
instance
?VACCINE
Vaccine
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
)
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
))))
WMD.kif 1046-1059
If
an entity
is an
instance
of
vaccinatable disease
,
then there exist
another entity
,
a third entity
and
a process
such that
the other entity
is an
instance
of
vaccine
and
the process
is an
instance
of
putting
and
the process
end
s up at
the third entity
and
the third entity
is an
instance
of
human
and the statement
the entity
is not an
attribute
of
the third entity
holds
during
after
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
instance
?E
Embracing
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
agent
?E ?P1)
(
agent
?E ?P2))))
Mid-level-ontology.kif 11640-11648
If
a process
is an
instance
of
embracing
,
then there exist
an agent
and
another agent
such that
the agent
is an
instance
of
human
and
the other agent
is an
instance
of
human
and
the agent
is not
equal
to
the other agent
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the process
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