located
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 938-951
If
an object
is an
instance
of
faucet
and
a process
is an
instance
of
liquid motion
and
an entity
is a
patient
of
the process
and
the process
is
located
at
the object
,
then there doesn't exist
another entity
such that
the other entity
is an
instance
of
tube
and
the other entity
は
the entity
を
contain
s %n{ない} holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?FR
FlowRegion
)
(
located
?FLUID ?FR))
(
attribute
?FLUID
Fluid
))
Mid-level-ontology.kif 8783-8787
If
an object
is an
instance
of
flow region
and
another object
is
located
at
the object
,
then
fluid
is an
attribute
of
the other object
(=>
(
and
(
instance
?KL
KnockLight
)
(
attribute
?X
Deaf
)
(
located
?KL ?LOC)
(
located
?X ?LOC)
(
instance
?DOOR
Door
)
(
part
?DOOR ?LOC))
(
hasPurposeForAgent
?KL
(
knows
?X
(
exists
(?KNOCK)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)))) ?X))
Mid-level-ontology.kif 23770-23783
If
a physical
is an
instance
of
knock light
and
deaf
is an
attribute
of
an agent
and
the physical
is
located
at
an object
and
the agent
is
located
at
the object
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
purpose
the agent
know
s there exists
an entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
for
the agent
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?ROOM
Room
)
(
located
?KL ?ROOM)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?SOUND ?LIGHT ?IMPACT)
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?DOOR)
(
causes
?IMPACT ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingLight
)
(
agent
?LIGHT ?KL)))))
Mid-level-ontology.kif 23750-23767
If
a physical
is an
instance
of
knock light
and
an object
is an
instance
of
room
and
the physical
is
located
at
the object
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
purpose there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the third entity
and
the third entity
cause
s
the entity
and
the entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating light
and
the physical
is an
agent
of
the other entity
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2 ?D1)
(
distance
?P3 ?P4 ?D2))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1714-1734
If
an object
is an
instance
of
lever
and
a process
is an
instance
of
pushing
and
a physical
is an
instance
of
motion
and
the process
end
s up at
another object
and one end of
the object
is
the other object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
and
the other object
is
located
at
the process
1 holds
during
immediately
before
the
time
of existence of
the physical
and
the other object
is
located
at
the process
2 holds
during
immediately
after
the
time
of existence of
the physical
and
the third object
is
located
at
the process
3 holds
during
immediately
before
the
time
of existence of
the physical
and
the third object
is
located
at
the process
4 holds
during
immediately
after
the
time
of existence of
the physical
and the
distance
between
the process
1 and
the process
2 is
a length measure
and the
distance
between
the process
3 and
the process
4 is
another length measure
,
then
the other length measure
is
greater
than
the length measure
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
and
(
distance
?ALOC ?D ?SMALLER)
(
distance
?ALOC ?O ?LARGER)
(
greaterThan
?LARGER ?SMALLER))))
Mid-level-ontology.kif 15203-15218
If
a time interval
is an
instance
of
pulling
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then the
distance
between
the agent
LOC and
the other entity
is
a third entity
and the
distance
between
the agent
LOC and
the object
is
a fourth entity
and
the fourth entity
is
greater
than
the third entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
and
(
distance
?ALOC ?D ?SMALLER)
(
distance
?ALOC ?O ?LARGER)
(
greaterThan
?LARGER ?SMALLER))))
Mid-level-ontology.kif 15184-15199
If
a time interval
is an
instance
of
pushing
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then the
distance
between
the agent
LOC and
the other entity
is
a third entity
and the
distance
between
the agent
LOC and
the object
is
a fourth entity
and
the fourth entity
is
greater
than
the third entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
Agent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3158-3184
If
a collection
is an
instance
of
collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
instance
of
buying
and there exists
another object
such that
the other object
is an
instance
of
geopolitical area
and for all
an agent
and
a third object
if
the agent
is an
instance
of
agent
and
the third object
is an
instance
of
buying
and
the third object
is a
member
of
the collection
and
the agent
is an
agent
of
the third object
,
then
the agent
is
located
at
the other object
,
then the
total
of values in the
class
described by
a symbolic string
is
an entity
_PURCHASE_AMOUNT and the
value
of
the collection
is
equal
to
the entity
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3469-3478
If
a physical
is an
instance
of
geographic area
and
the physical
is
located
at
antarctic area
,
then there exists
a time position
such that
the time position
is an
instance
of
day
and
illuminated
is not an
attribute
of
the physical
holds
during
the time position
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3429-3438
If
a physical
is an
instance
of
geographic area
and
the physical
is
located
at
arctic region
,
then there exists
a time position
such that
the time position
is an
instance
of
day
and
illuminated
is not an
attribute
of
the physical
holds
during
the time position
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
Agent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT)))
UXExperimentalTerms.kif 3201-3227
If
a collection
is an
instance
of
collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
instance
of
selling
and there exists
another object
such that
the other object
is an
instance
of
geopolitical area
and for all
an agent
and
a third object
if
the agent
is an
instance
of
agent
and
the third object
is an
instance
of
buying
and
the third object
is a
member
of
the collection
and
the agent
is an
agent
of
the third object
,
then
the agent
is
located
at
the other object
,
then the
total
of values in the
class
described by
a symbolic string
is
an entity
_SALE_AMOUNT and the
value
of
the collection
is
equal
to
the entity
_SALE_AMOUNT
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7017-7031
If
an object
is an
instance
of
auditorium seat
and
the object
is a
part
of
another object
and
a third object
is a
part
of
the other object
and
the other object
is an
instance
of
auditorium
and
the third object
is an
instance
of
performance stage
and
a fourth object
is
located
at
the object
and
the fourth object
is an
instance
of
human
and
a kind of process
is a
subclass
of
seeing
and for all
another process
if
the other process
is an
instance
of
a kind of process
,
then
the third object
is a
patient
of
the other process
,
then
the fourth object
is
capable
of doing
the kind of process
as a
agent
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
If
a process
is an
instance
of
seeing
and
an object
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the object
is an
instance
of
object
and
the process
exists
during
a time position
and
the object
is
located
at
another object
holds
during
the time position
,
then
the object
is
observed
at time in place
the agent
for
the time position
with
the other object
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1523-1530
If
a process
is an
instance
of
temperature falling (experienced as feeling cold)
and
the process
is
located
at
an object
and
an agent
experience
s
the process
,
then
the agent
believe
s
cold
is an
attribute
of
the object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1537-1544
If
a process
is an
instance
of
temperature rising (experienced as feeling warm)
and
the process
is
located
at
an object
and
an agent
experience
s
the process
,
then
the agent
believe
s
warm
is an
attribute
of
the object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11379-11391
If
an agent
is an
instance
of
ticket
and
the agent
possess
es
an object
and
a cognitive agent
is an
issued
by of
the agent
and
amusement gambling and recreation industries
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
located
at
another object
,
then
the cognitive agent
confers
norm there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the object
experience
s
the entity
and
the entity
is
located
at
2
for
permission
(=>
(
and
(
instance
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1622-1626
If
a physical
is an
instance
of
tunnel
and
the physical
is
located
at
an object
,
then
the object
is an
instance
of
underground area
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3595-3609
If
a computer process
is an
instance
of
un installation
and
a time interval
is
equal
to the
time
of existence of
the computer process
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
is
located
at
an object
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
installation
and
the other time interval
is
equal
to the
time
of existence of
the other computer process
and
the digital data
is
processed
by
the other computer process
and
the digital data
is an
instance
of
computer program
and
the other computer process
is
located
at
the object
and
the other time interval
happens
earlier
than
the time interval
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 6727-6736
If
an object
is an
instance
of
commercial unit
and
a physical
is an
instance
of
organization
and
the physical
is
located
at
the object
,
then there doesn't exist
another physical
such that
the other physical
is an
instance
of
organization
and
the other physical
is
located
at
the object
and
the other physical
is not
equal
to
the physical
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 270-287
If
a collection
is an
instance
of
buffet
and
an object
is a
member
of
the collection
and
the collection
is
located
at
another object
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the process
is
located
at
2
and
the object
is a
patient
of
the process
,
then
the other object
is not
equal
to
an entity
and there exists
another process
such that
the other process
is an
instance
of
getting
and
the object
is a
patient
of
the other process
and
the other process
originate
s at
the other object
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
happens
before
the
time
of existence of
the process
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 24576-24594
If
an object
is an
instance
of
fire alarm
and
device on
is an
attribute
of
the object
and
the object
is
located
at
another object
,
then there exists
a process
such that
the process
is an
instance
of
radiating sound
and
the object
is an
instrument
for
the process
and
the process
purpose there exists
an entity
such that
the entity
is an
instance
of
group of people
and
the entity
is
located
at
the other object
and
the entity
know
s there exists
another entity
such that
the other entity
is an
instance
of
fire
and
the other entity
is
located
at
2
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 23208-23218
If
an object
is an
instance
of
hot tub
and
a physical
is
located
at
the object
and
the physical
is an
instance
of
water
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
heating
and
the object
is an
instrument
for
the entity
and
the physical
is a
patient
of
the entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 25182-25208
If
an object
is an
instance
of
surveillance system
and
the object
is a
member
of
a collection
and
the object
is a
member
of
another collection
and
the collection
is
located
at
another object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
a third object
and
the other object
is not
equal
to
the third object
and
the other collection
is an
instance
of
video display
,
then
the object
purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
2
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
located
?T ?R)
(
instance
?T
Toilet
)
(
instance
?R
Room
))
(
instance
?R
Bathroom
))
Mid-level-ontology.kif 2657-2662
If
a physical
is
located
at
an object
and
the physical
is an
instance
of
toilet
and
the object
is an
instance
of
room
,
then
the object
is an
instance
of
bathroom
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 621-636
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a kind of process
is an
instance
of
intentional process
and
a kind of process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the kind of process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the kind of process
and
the content bearing physical
is the
record
of
the agreement
and
legal
is an
attribute
of
the agreement
,
then the
age
of
the cognitive agent
is
the real number
2
year duration
(s) and
the real number
2 is
greater
than
the real number
holds
during
the
time
of existence of
the kind of 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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
