Human
(human)
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
If
a transfer
is an
instance
of
vending
and the object transferred in
the transfer
is
an object
and
the object
is not an
instance
of
currency
,
then the statement
the object
is an
instance
of
food
for
human
or
the object
is an
instance
of
beverage
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
If
an object
is an
instance
of
car alarm
and
another object
is an
instance
of
self powered road vehicle
and
the object
is a
part
of
the other object
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the object
has the purpose
if
the entity
is an
instance
of
stealing
or
the entity
is an
instance
of
damaging
and
the other entity
is an
instance
of
human
and
the other entity
is an
agent
of
the entity
and
the other object
is a
patient
of
the entity
and the
time
of existence of
the entity
is
equal
to
the third entity
and
the entity
is
partly
located
at
the fourth entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
radiating sound
and
the object
is an
agent
of
the fifth entity
and
the entity
cause
s
the fifth entity
and
the fifth entity
has the purpose there exists
a sixth entity
such that
the sixth entity
is an
instance
of
human
and
the sixth entity
is
near
to
the fourth entity
holds
during
the third entity
increase
s likelihood of
the sixth entity
know
s there exists
a seventh entity
such that
the seventh entity
is an
instance
of
stealing
or
the seventh entity
is an
instance
of
damaging
and
the seventh entity
is
partly
located
at
the fourth entity
and
the other object
is a
patient
of
the seventh entity
holds
during
the third entity
or the
time
of existence of
the fifth entity
finish
es the
time
of existence of
the entity
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
If
an object
is an
instance
of
content bearing object
and
braille
is an
attribute
of
the object
,
then there exists
another object
such that
the other object
is an
instance
of
human
and
blind
is an
attribute
of
the other object
and
the other object
is
capable
of doing
interpreting
as a
agent
and
the object
is
capable
of doing
interpreting
as a
patient
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
If
a wearable item
is an
instance
of
respirator
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the third entity
and
the third entity
prevent
s the occurrence of
the other entity
and
the other entity
is a
subclass
of the
class
described by
the fourth entity
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
If
an object
is an
instance
of
whirlpool tub
and
double size
is an
attribute
of
the object
,
then the statement there exists
an entity
such that there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
human
and
the other entity
is not
equal
to
the third entity
and
the other entity
is
located
at
the object
and
the third entity
is
located
at
the object
holds
during
the entity
has the
modal
force
of
possibility
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
If
a hotel reservation
may
have
an integer
occupants and
an agent
fulfills
the hotel reservation
,
then there exists
a collection
such that
the collection
is an
instance
of
group of people
and
human
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
the collection
is a
potential
customer
for
the agent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
If
an organization
is
subordinate
position
a position
for
another position
and
a human
holds the
position
of
the position
in
the organization
,
then there exists
another human
such that
the other human
is an
instance
of
human
and
the other human
holds the
position
of
the other position
in
the organization
and
the organization
is
subordinate
in organization
the human
for
the other human
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
If a person in
an object
can
see
a kind of physical
and
the object
is an
instance
of
room
and
another object
is an
instance
of
a kind of physical
and
the other object
is
outside
to
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the entity
is
located
at
the object
and
the other entity
is an
instance
of
seeing
and
the other object
is a
patient
of
the other entity
and
the entity
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
arrested
?ARREST ?OBJ)
(
or
(
instance
?OBJ
Human
)
(
instance
?OBJ
GroupOfPeople
)))
Mid-level-ontology.kif 23488-23492
If
an agent
is placed under arrest during
a placing under arrest
,
then
the agent
is an
instance
of
human
or
the agent
is an
instance
of
group of people
(=>
(
attribute
?COACH
Coach
)
(
exists
(?ATHLETE ?GAME ?EDUCATION)
(
and
(
instance
?ATHLETE
Human
)
(
instance
?GAME
Game
)
(
instance
?EDUCATION
EducationalProcess
)
(
agent
?EDUCATION ?COACH)
(
patient
?EDUCATION ?ATHLETE)
(
refers
?EDUCATION ?GAME))))
Sports.kif 524-533
If
coach
is an
attribute
of
an agent
,
then there exist
an entity
,
another entity
and
a process
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
game
and
the process
is an
instance
of
educational process
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the process
includes a
reference
to
the other entity
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
If
barber shops
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
hair
and
the entity
is a
part
of
the other entity
and
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
cutting
and
the entity
is a
patient
of
the third entity
and
the third entity
is
located
at
the object
and
the fourth entity
is an
agent
of
the third entity
and
the object
employ
s
the fourth entity
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
If
executive level
is an
attribute
of
an object
,
then for all
a physical
if
the physical
is an
instance
of
hotel room
and
the physical
is
located
at
the object
,
then
the physical
has the purpose there exists
an entity
such that
business executive
is an
attribute
of
the entity
and
the entity
is an
instance
of
human
and
the entity
stays
at
the physical
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
If
female executive room
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
human
and
female
is an
attribute
of
the entity
and
business executive
is an
attribute
of
the entity
and
the entity
stays
at
the object
(=>
(
attribute
?X
HandicappedFriendly
)
(
exists
(?ATTR ?PERSON)
(
and
(
instance
?ATTR
Disability
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ATTR)
(
inScopeOfInterest
?PERSON ?X))))
Mid-level-ontology.kif 26182-26189
If
handicapped friendly
is an
attribute
of
an object
,
then there exist
an attribute
and
a cognitive agent
such that
the attribute
is an
instance
of
disability
and
the cognitive agent
is an
instance
of
human
and
the attribute
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
interested
in
the object
(=>
(
attribute
?X
Multilingual
)
(
instance
?X
Human
))
Mid-level-ontology.kif 25744-25746
If
multilingual
is an
attribute
of
an object
,
then
the object
is an
instance
of
human
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
If
snack and nonalcoholic beverage bars
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
food
for
human
and
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
(=>
(
attribute
?X
Waiter
)
(
instance
?X
Human
))
Mid-level-ontology.kif 20597-20599
If
waiter
is an
attribute
of
an object
,
then
the object
is an
instance
of
human
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
If
a human
has
a volume measure
of blood,
then there exists
a substance
such that
the substance
is an
instance
of
blood
and
the human
contain
s
the substance
and
the human
is an
instance
of
human
and the
measure
of
the substance
is
the volume measure
and there doesn't exist
the substance
2 such that
the substance
2 is an
instance
of
blood
and
the human
contain
s
the substance
2 and
the substance
2 is not a
piece
of
the substance
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1753-1758
If
a social role
is an
election
for position of
an election
,
then there exists
an agent
such that
the agent
is an
instance
of
human
and
the election
candidate
for position
the social role
for
the agent
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
If
interpersonal disgust
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
perception
and
the third entity
is a
patient
of
the other entity
and
the entity
experience
s
the other entity
and
the third entity
is an
instance
of
human
and the
time
of existence of
the other entity
takes place
during
the time position
cause
s
interpersonal disgust
is an
attribute
of
the entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
If
interpersonal disgust
is an
attribute
of
an agent
holds
during
a time interval
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
perception
and
the entity
is a
patient
of
the process
and
the agent
experience
s
the process
and
the entity
is an
instance
of
human
and
the entity
is not
equal
to
the agent
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30707-30727
If
safety position
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
has the purpose there exist
another entity
,
a third entity
,, ,
a fourth entity
and
the time position
2 such that
the third entity
is an
instance
of
human
and
the other entity
is an
instance
of
process
and
the third entity
is a
patient
of
the other entity
and
the entity
is an
agent
of
the other entity
and
the other entity
prevent
s the occurrence of the
class
described by
the fourth entity
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
If
human slave
is an
attribute
of
an entity
holds
during
a time position
,
then there exists
another entity
such that
the other entity
is an
instance
of
human
and
the other entity
is not
equal
to
the entity
and
the other entity
possess
es
the entity
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
If
tourniquet
is an
attribute
of
an object
holds
during
the object
IME,
then there exist
an agent
,
a process
and
a transfer
such that
the agent
is an
instance
of
human
and
the process
is an
instance
of
bleeding
and
the transfer
is an
instance
of
attaching
and
the agent
experience
s
the process
and
the transfer
end
s up at
the agent
and the object transferred in
the transfer
is
the object
and
the object
has the purpose there doesn't exist
the process
2 such that
the process
2 is an
instance
of
bleeding
and immediately
after
the
time
of existence of
the transfer
overlap
s the
time
of existence of
the process
2 and
the agent
experience
s
the process
2
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
If
a physical
is an
instance
of
ambulance
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
disease or syndrome
is an
attribute
of
the entity
or there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
injuring
and
the fourth entity
experience
s
the third entity
and
the third entity
happens
before
the other entity
and
the other entity
is an
instance
of
transportation
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is a
patient
of
the other entity
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