located
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 6662-6673
If
a process
is an
instance
of
pruritus
and
the process
is
located
at
an object
and
the object
is a
part
of
a cognitive agent
and
the cognitive agent
experience
s
the process
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
scratching
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
and
the entity
is
located
at
the object
(=>
(
and
(
instance
?IMPORT
Importing
)
(
patient
?IMPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?IMPORT))
(
not
(
located
?ITEM ?AREA))))
(
holdsDuring
(
EndFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2818-2831
If
a process
is an
instance
of
importing
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is not
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then
the entity
is
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?IMPORT
Importing
)
(
patient
?IMPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2832-2851
If
a process
is an
instance
of
importing
and
an entity
is a
patient
of
the process
and
a geopolitical area
is an
instance
of
geopolitical area
and
the entity
is
located
at
the geopolitical area
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
geopolitical area
and
the geopolitical area
is not a
geopolitical
part of
the other geopolitical area
and
the other geopolitical area
is not a
geopolitical
part of
the geopolitical area
and
the entity
is
located
at
the other geopolitical area
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?IMPORT
Importing
)
(
patient
?IMPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2862-2877
If
a process
is an
instance
of
importing
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
a physical
is an
instance
of
geopolitical area
and
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
located
at
the physical
holds
during
the
end
of the
time
of existence of
the process
,
then
the physical
is not
located
at
the object
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 27719-27736
If
a physical
is an
instance
of
knock light
and
the physical
is
located
at
an object
and
the object
is an
instance
of
room
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
radiating visible light
and
the physical
is an
instrument
for
the third entity
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
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
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1549-1572
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
an unit of measure
is an
instance
of
unit of length
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
equal
the other object
and
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 real number
the unit of measure
(s) and the
distance
between
the process
3 and
the process
4 is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1746-1766
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 19189-19207
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 there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth 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))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 19167-19185
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 there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3720-3740
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
equal
the other real number
the unit of measure
(s) and the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
equal
the directional attribute
and
north
or
equal
the directional attribute
and
south
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
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 2956-2983
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
buying
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_PURCHASE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_PURCHASE_AMOUNT and
equal
the
value
of
the collection
and
the other entity
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?R
Railhead
)
(
instance
?V
RailVehicle
)
(
holdsDuring
?T
(
located
?V ?R)))
(
exists
(?M)
(
and
(
patient
?M ?V)
(
or
(
and
(
instance
?M
Leaving
)
(
origin
?M ?R)
(
during
(
WhenFn
?M) ?T))
(
and
(
instance
?M
Arriving
)
(
destination
?M ?R)
(
during
(
WhenFn
?M) ?T))))))
Transportation.kif 2241-2258
If
an object
is an
instance
of
railhead
and
an entity
is an
instance
of
rail vehicle
and
the entity
is
located
at
the object
holds
during
a time interval
,
then there exists
a process
such that
the entity
is a
patient
of
the process
and
the process
is an
instance
of
leaving
and
the process
originate
s at
the object
and the
time
of existence of
the process
takes place
during
the time interval
or
the process
is an
instance
of
arriving
and
the process
end
s up at
the object
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 12578-12593
If
a self connected object
is an
instance
of
rib cage
and
the self connected object
is a
part
of
an object
and
the object
is an
instance
of
human
and
living
is an
attribute
of
the object
and ~{
a physical
is an
instance
of
pathologic process
} or ~{
the physical
is
located
at
the object
},
then there exist
the object
T and
a third object
such that
the object
T is an
instance
of
heart
and
the object
T is an
instance
of
lung
and
the self connected object
contain
s
the third object
and
the self connected object
contain
s
the object
T
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3756-3765
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 3695-3704
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
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 13265-13276
If
a process
is an
instance
of
stroke
and
an object
is an
instance
of
brain
and
the process
is
located
at
the object
,
then there exist
a physical
and
another process
such that
the physical
is an
instance
of
nerve cell
and
the physical
is
located
at
the object
and
the other process
is an
instance
of
destruction
and
the other process
is a
subprocess
of
the process
and
the physical
is a
patient
of
the other process
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
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 2999-3026
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
selling
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_SALE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_SALE_AMOUNT and
equal
the
value
of
the collection
and
the other 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 8512-8526
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 1551-1558
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 1569-1576
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 11456-11468
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
the other object
for
permission
(=>
(
and
(
instance
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1777-1781
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 3598-3612
If
a computer process
is an
instance
of
un installation
and
equal
a time interval
and 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
equal
the other time interval
and 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 8229-8238
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
equal
the other physical
and
the physical
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
