meetsTemporally
(=>
(
instance
?B
Breath
)
(
exists
(?I ?E)
(
and
(
subProcess
?I ?B)
(
subProcess
?E ?B)
(
earlier
(
WhenFn
?I)
(
WhenFn
?E))
(
meetsTemporally
(
WhenFn
?I)
(
WhenFn
?E)))))
Mid-level-ontology.kif 10363-10374
If
a process
is an
instance
of
Breath
,
then there exist
another process
and
a third process
such that
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the third process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the third process
(=>
(
instance
?DAY
DayTime
)
(
exists
(?NIGHT1 ?NIGHT2)
(
and
(
instance
?NIGHT1
NightTime
)
(
instance
?NIGHT2
NightTime
)
(
meetsTemporally
?DAY ?NIGHT1)
(
meetsTemporally
?NIGHT2 ?DAY))))
Merge.kif 8870-8877
If
a time interval
is an
instance
of
day time
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
night time
and
the third time interval
is an
instance
of
night time
and
the time interval
meet
s
the other time interval
and
the third time interval
meet
s
the time interval
(=>
(
instance
?FLOOD
FlashFlooding
)
(
exists
(?WATER ?HOUR)
(
and
(
instance
?WATER
WaterMotion
)
(
causes
?WATER ?FLOOD)
(
meetsTemporally
(
WhenFn
?WATER)
(
WhenFn
?FLOOD))
(
duration
(
WhenFn
?WATER)
(
MeasureFn
?HOUR
HourDuration
))
(
lessThan
?HOUR 6.0))))
Weather.kif 1630-1642
If
a process
is an
instance
of
flash flooding
,
then there exist
another process
and
a real number
such that
the other process
is an
instance
of
water motion
and
the other process
cause
s
the process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the process
and
duration
of the
time
of existence of
the other process
is
the real number
hour duration
(s) and
the real number
is
less
than 6.0
(=>
(
instance
?FSE
FourStrokeEngine
)
(
hasPurpose
?FSE
(
exists
(?I ?CM ?CB ?E ?I2)
(
and
(
instance
?I
FourStrokeIntake
)
(
instance
?CM
FourStrokeCompression
)
(
instance
?CB
FourStrokeCombustion
)
(
instance
?E
FourStrokeExhaust
)
(
instance
?I2
FourStrokeIntake
)
(
eventLocated
?I ?FSE)
(
eventLocated
?CM ?FSE)
(
eventLocated
?CB ?FSE)
(
eventLocated
?E ?FSE)
(
eventLocated
?I2 ?FSE)
(
meetsTemporally
?I ?CM)
(
meetsTemporally
?CM ?CB)
(
meetsTemporally
?CB ?E)
(
meetsTemporally
?E ?I2)))))
Cars.kif 114-132
If
a physical
is an
instance
of
four stroke engine
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
the entity
2 such that
the entity
is an
instance
of
four stroke intake
and
the other entity
is an
instance
of
four stroke compression
and
the third entity
is an
instance
of
four stroke combustion
and
the fourth entity
is an
instance
of
four stroke exhaust
and
the entity
2 is an
instance
of
four stroke intake
and
the entity
is
located
at
the physical
and
the other entity
is
located
at
the physical
and
the third entity
is
located
at
the physical
and
the fourth entity
is
located
at
the physical
and
the entity
2 is
located
at
the physical
and
the entity
meet
s
the other entity
and
the other entity
meet
s
the third entity
and
the third entity
meet
s
the fourth entity
and
the fourth entity
meet
s
the entity
2
(=>
(
instance
?FSE
FourStrokeEngineCycle
)
(
exists
(?I ?CM ?CB ?E ?I2)
(
and
(
instance
?I
FourStrokeIntake
)
(
instance
?CM
FourStrokeCompression
)
(
instance
?CB
FourStrokeCombustion
)
(
instance
?E
FourStrokeExhaust
)
(
instance
?I2
FourStrokeIntake
)
(
subProcess
?I ?FSE)
(
subProcess
?CM ?FSE)
(
subProcess
?CB ?FSE)
(
subProcess
?E ?FSE)
(
subProcess
?I2 ?FSE)
(
meetsTemporally
?I ?CM)
(
meetsTemporally
?CM ?CB)
(
meetsTemporally
?CB ?E)
(
meetsTemporally
?E ?I2))))
Cars.kif 147-164
If
a process
is an
instance
of
four stroke engine cycle
,
then there exist
a time interval
,
another time interval
,, ,
a third time interval
,, ,
a fourth time interval
and
the time interval
2 such that
the time interval
is an
instance
of
four stroke intake
and
the other time interval
is an
instance
of
four stroke compression
and
the third time interval
is an
instance
of
four stroke combustion
and
the fourth time interval
is an
instance
of
four stroke exhaust
and
the time interval
2 is an
instance
of
four stroke intake
and
the time interval
is a
subprocess
of
the process
and
the other time interval
is a
subprocess
of
the process
and
the third time interval
is a
subprocess
of
the process
and
the fourth time interval
is a
subprocess
of
the process
and
the time interval
2 is a
subprocess
of
the process
and
the time interval
meet
s
the other time interval
and
the other time interval
meet
s
the third time interval
and
the third time interval
meet
s
the fourth time interval
and
the fourth time interval
meet
s
the time interval
2
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
If
a time interval
is an
instance
of
time interval
,
then
before
the time interval
meet
s
the time interval
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
If
a time interval
is an
instance
of
time interval
,
then
the time interval
meet
s
after
the time interval
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
If
a time interval
is an
instance
of
list on site
,
then there exist
an object
,
an entity
,, ,
another time interval
,, ,
a third time interval
and
an agent
such that
the object
is an
instance
of
web site
and
the entity
is an
instance
of
web listing
and
the other time interval
is an
instance
of
time interval
and
the third time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the time interval
and the
end
of
the other time interval
is
equal
to the
end
of
the time interval
and
the time interval
happens
earlier
than
the third time interval
and
the time interval
meet
s
the third time interval
and not
the entity
is
hosted
on
the object
holds
during
the other time interval
and
the entity
is
hosted
on
the object
holds
during
the third time interval
and
the agent
is an
agent
of
the time interval
and
the agent
possess
es
the object
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?DAY1 ?DAY2)
(
and
(
instance
?DAY1
DayTime
)
(
instance
?DAY2
DayTime
)
(
meetsTemporally
?NIGHT ?DAY1)
(
meetsTemporally
?DAY2 ?NIGHT))))
Merge.kif 8892-8899
If
a time interval
is an
instance
of
night time
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
day time
and
the third time interval
is an
instance
of
day time
and
the time interval
meet
s
the other time interval
and
the third time interval
meet
s
the time interval
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19166-19171
If
a time interval
is an
instance
of
spring season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
summer season
and
the time interval
meet
s
the other time interval
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19173-19178
If
a time interval
is an
instance
of
spring season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
winter season
and
the other time interval
meet
s
the time interval
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19191-19196
If
a time interval
is an
instance
of
summer season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
fall season
and
the time interval
meet
s
the other time interval
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19184-19189
If
a time interval
is an
instance
of
summer season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
spring season
and
the other time interval
meet
s
the time interval
(=>
(
instance
?T
TwoStrokeEngineCycle
)
(
exists
(?I ?C ?TT ?I2)
(
and
(
instance
?I
TwoStrokeIntake
)
(
instance
?C
TwoStrokeCompression
)
(
instance
?TT
TwoStrokeTransfer
)
(
instance
?I2
TwoStrokeIntake
)
(
subProcess
?I ?T)
(
subProcess
?C ?T)
(
subProcess
?TT ?T)
(
subProcess
?I2 ?T)
(
meetsTemporally
?I ?C)
(
meetsTemporally
?C ?TT)
(
meetsTemporally
?TT ?I2))))
Cars.kif 264-278
If
a process
is an
instance
of
two stroke engine cycle
,
then there exist
a time interval
,
another time interval
,, ,
the process
T and
the time interval
2 such that
the time interval
is an
instance
of
two stroke intake
and
the other time interval
is an
instance
of
two stroke compression
and
the process
T is an
instance
of
two stroke transfer
and
the time interval
2 is an
instance
of
two stroke intake
and
the time interval
is a
subprocess
of
the process
and
the other time interval
is a
subprocess
of
the process
and
the process
T is a
subprocess
of
the process
and
the time interval
2 is a
subprocess
of
the process
and
the time interval
meet
s
the other time interval
and
the other time interval
meet
s
the process
T and
the process
T
meet
s
the time interval
2
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 369-374
If
a time interval
is an
instance
of
advent
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
Christmas day
and
the time interval
meet
s
the other time interval
(=>
(
instance
?T1
ChristmasDay
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 362-367
If
a time interval
is an
instance
of
Christmas day
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
advent
and
the other time interval
meet
s
the time interval
(=>
(
instance
?T1
EasterSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Lent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 430-435
If
a time interval
is an
instance
of
Easter sunday
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
lent
and
the other time interval
meet
s
the time interval
(=>
(
instance
?T1
Lent
)
(
exists
(?T2)
(
and
(
instance
?T2
EasterSunday
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 423-428
If
a time interval
is an
instance
of
lent
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
Easter sunday
and
the time interval
meet
s
the other time interval
(=>
(
instance
?VCC
VaporCompressionCycle
)
(
exists
(?CMP ?COND ?EV ?CMP2)
(
and
(
instance
?CMP
Compressing
)
(
instance
?COND
Condensing
)
(
instance
?EV
Evaporating
)
(
instance
?CMP2
Compressing
)
(
subProcess
?CMP ?VCC)
(
subProcess
?COND ?VCC)
(
subProcess
?EV ?VCC)
(
subProcess
?CMP2 ?VCC)
(
meetsTemporally
(
WhenFn
?CMP)
(
WhenFn
?COND))
(
meetsTemporally
(
WhenFn
?COND)
(
WhenFn
?EV))
(
meetsTemporally
(
WhenFn
?EV)
(
WhenFn
?CMP2)))))
Cars.kif 2023-2043
If
a process
is an
instance
of
vapor compression cycle
,
then there exist
another process
,
a third process
,, ,
a fourth process
and
the other process
2 such that
the other process
is an
instance
of
compressing
and
the third process
is an
instance
of
condensing
and
the fourth process
is an
instance
of
evaporating
and
the other process
2 is an
instance
of
compressing
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
the fourth process
is a
subprocess
of
the process
and
the other process
2 is a
subprocess
of
the process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the third process
and the
time
of existence of
the third process
meet
s the
time
of existence of
the fourth process
and the
time
of existence of
the fourth process
meet
s the
time
of existence of
the other process
2
(=>
(
instance
?WEEKEND
Weekend
)
(
exists
(?SATURDAY ?SUNDAY)
(
and
(
instance
?SATURDAY
Saturday
)
(
instance
?SUNDAY
Sunday
)
(
starts
?SATURDAY ?WEEKEND)
(
finishes
?SUNDAY ?WEEKEND)
(
meetsTemporally
?SATURDAY ?SUNDAY))))
Mid-level-ontology.kif 19121-19129
If
a time interval
is an
instance
of
weekend
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
Saturday
and
the third time interval
is an
instance
of
Sunday
and
the other time interval
start
s
the time interval
and
the third time interval
finish
es
the time interval
and
the other time interval
meet
s
the third time interval
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19153-19158
If
a time interval
is an
instance
of
winter season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
fall season
and
the other time interval
meet
s
the time interval
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19146-19151
If
a time interval
is an
instance
of
winter season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
spring season
and
the time interval
meet
s
the other time interval
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