Human
(human)
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P)
(
and
(
instance
?P
Human
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A ?D1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A ?D2))
(
greaterThan
?D2 ?D1))))
emotion.kif 1375-1390
If
a process
is an
instance
of
moving away from people
and
an agent
is an
agent
of
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
human
and the
distance
between
the process
and
the agent
is
a quantity
holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
another quantity
holds
during
immediately
after
the
time
of existence of
the process
and
the other quantity
is
greater
than
the quantity
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P)
(
and
(
instance
?P
Human
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A ?D1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A ?D2))
(
greaterThan
?D1 ?D2))))
emotion.kif 1406-1421
If
a process
is an
instance
of
moving towards people
and
an agent
is an
agent
of
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
human
and the
distance
between
the process
and
the agent
is
a quantity
holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
another quantity
holds
during
immediately
after
the
time
of existence of
the process
and
the quantity
is
greater
than
the other quantity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
If
a collection
is an
instance
of
organization
and
agriculture forestry fishing and hunting
is an
attribute
of
the collection
,
then there exist
a process
and
an agent
such that
the agent
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the process
is an
instance
of
killing
or
the process
is an
instance
of
maintaining
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
animal
or
the entity
is an
instance
of
plant
and
the entity
is not an
instance
of
human
and
the agent
2 is a
member
of
the collection
and
the process
2 is an
instance
of
selling
and
the agent
2 is an
agent
of
the process
2 and
the entity
is a
patient
of
the process
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7960-7985
If
a collection
is an
instance
of
organization
and
air transportation industry
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
the cognitive agent
LANE such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
or
the cognitive agent
possess
es
a third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the cognitive agent
LANE and
the cognitive agent
LANE is an
instance
of
aircraft
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
CouriersAndMessengers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8659-8679
If
a collection
is an
instance
of
organization
and
couriers and messengers
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exist
a cognitive agent
and
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
transportation
and
the cognitive agent
possess
es
the entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7709-7723
If
a collection
is an
instance
of
organization
and
general merchandise stores
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exist
an entity
and
another entity
such that
the agent
is an
instance
of
selling
and
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
object
and
the agent
end
s up at
the other entity
and
the entity
is a
patient
of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7759-7772
If
a collection
is an
instance
of
organization
and
miscellaneous store retailers
is an
attribute
of
the collection
,
then there exist
a process
,
an object
,, ,
an entity
and
another entity
such that
the object
is a
member
of
the collection
and
an agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the agent
is an
instance
of
human
and
the other entity
is an
instance
of
retail store
and
the process
is
located
at
2
and
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7884-7900
If
a collection
is an
instance
of
organization
and
nonstore retailers
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exist
an entity
and
another entity
such that
the agent
is an
instance
of
selling
and
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
object
and not
the agent
is
located
at
2
and
the agent
end
s up at
the other entity
and
the entity
is a
patient
of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8388-8411
If
a collection
is an
instance
of
organization
and
pipeline transportation
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
possess
es
a third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
substance
and
the collection
possess
es
the other entity
and
the cognitive agent
IPE is an
instrument
for
the entity
and
the cognitive agent
IPE is an
instance
of
pipeline
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PostalService
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8630-8650
If
a collection
is an
instance
of
organization
and
postal service
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exist
a cognitive agent
and
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
transportation
and
the cognitive agent
possess
es
the entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8041-8066
If
a collection
is an
instance
of
organization
and
rail transportation
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
or
the cognitive agent
possess
es
a third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
rail vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8451-8472
If
a collection
is an
instance
of
organization
and
scenic and sightseeing transportation
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the entity
is an
instance
of
recreation or exercise
and
the cognitive agent
is a
patient
of
the entity
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8267-8287
If
a collection
is an
instance
of
organization
and
transit and ground passenger transportation
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
land vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8176-8198
If
a collection
is an
instance
of
organization
and
truck transportation
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
possess
es
a third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
land vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8699-8720
If
a collection
is an
instance
of
organization
and
warehousing and storage
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exist
a cognitive agent
and
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
time interval
and
the other entity
is an
instance
of
building
and
the cognitive agent
possess
es
the entity
and
the other entity
is
located
at
the entity
holds
during
the third entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8087-8112
If
a collection
is an
instance
of
organization
and
water transportation industry
is an
attribute
of
the collection
,
then there exist
an agent
and
an object
such that
the object
is a
member
of
the collection
and
the agent
is an
agent
of
the object
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the object
allow
s
the cognitive agent
to perform task of the type there exist
an entity
and
another entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
or
the cognitive agent
possess
es
a third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
water vehicle
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 564-581
If
a process
is an
instance
of
food pickup
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
food
for
human
and there exist
an object
,
another process
and
a third process
such that
the agent
is
located
at
the object
and
the other process
is an
instance
of
translocation
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the third process
is an
instance
of
getting
and
the third process
originate
s at
the agent
and
the third process
end
s up at
the other agent
and
the entity
is a
patient
of
the third process
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5545-5549
If
a wearable item
is an
instance
of
shirt
and
an animal
は % を
wear
s %n{ない},
then
the animal
is an
instance
of
human
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 12604-12618
If
a process
is an
instance
of
radiating sound
and
an agent
is an
agent
of
the process
and
audible
is an
attribute
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
human
and
the object
is
capable
of doing the
class
described by
a symbolic string
as a
agent
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 10793-10797
If
a process
is an
instance
of
thanking
and
the process
end
s up at
an entity
,
then
the entity
is an
instance
of
human
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 10781-10791
If
a process
is an
instance
of
thanking
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the other entity
is an
instance
of
human
and
the agent
want
s
the entity
holds
during
the
time
of existence of
the process
or
the agent
desire
s
the entity
holds
during
the
time
of existence of
the process
(=>
(
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 2447-2456
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))
(
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 3685-3725
If
an object
is an
instance
of
CarAlarm
and
another object
is an
instance
of
self powered road vehicle
and
the object
is a
part
of
the other object
,
then
the object
purpose
if
an entity
is an
instance
of
stealing
or
the entity
is an
instance
of
damaging
and
another 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
a third entity
and
the entity
is
partly
located
at
a 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
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 240-249
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
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 23261-23274
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
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
