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
Processus
est une
instance
de
Breath
processus
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
(=>
(
instance
?DAY
DayTime
)
(
exists
(?NIGHT1 ?NIGHT2)
(
and
(
instance
?NIGHT1
NightTime
)
(
instance
?NIGHT2
NightTime
)
(
meetsTemporally
?DAY ?NIGHT1)
(
meetsTemporally
?NIGHT2 ?DAY))))
Merge.kif 8870-8877
Interval temporel
est une
instance
de
DayTime
interval temporel
interval temporel
interval temporel
est une
instance
de
NightTime
interval temporel
est une
instance
de
NightTime
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
Processus
est une
instance
de
FlashFlooding
processus
nombre r�el
processus
est une
instance
de
WaterMotion
processus
cause
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
HourDuration
(s)
nombre r�el
est
moins
que 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
Physique
est une
instance
de
FourStrokeEngine
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
2
entit�
est une
instance
de
FourStrokeIntake
entit�
est une
instance
de
FourStrokeCompression
entit�
est une
instance
de
FourStrokeCombustion
entit�
est une
instance
de
FourStrokeExhaust
entit�
2 est une
instance
de
FourStrokeIntake
eventLocated
entit�
and
physique
eventLocated
entit�
and
physique
eventLocated
entit�
and
physique
eventLocated
entit�
and
physique
eventLocated
entit�
2 and
physique
entit�
rencontre
entit�
entit�
rencontre
entit�
entit�
rencontre
entit�
entit�
rencontre
entit�
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
Processus
est une
instance
de
FourStrokeEngineCycle
interval temporel
interval temporel
,
interval temporel
,
interval temporel
and
interval temporel
2
interval temporel
est une
instance
de
FourStrokeIntake
interval temporel
est une
instance
de
FourStrokeCompression
interval temporel
est une
instance
de
FourStrokeCombustion
interval temporel
est une
instance
de
FourStrokeExhaust
interval temporel
2 est une
instance
de
FourStrokeIntake
interval temporel
est un
sous
-processus de
processus
interval temporel
est un
sous
-processus de
processus
interval temporel
est un
sous
-processus de
processus
interval temporel
est un
sous
-processus de
processus
interval temporel
2 est un
sous
-processus de
processus
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
2
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
Interval temporel
est une
instance
de
interval temporel
avant
interval temporel
rencontre
interval temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
Interval temporel
est une
instance
de
interval temporel
interval temporel
rencontre
apr
�s
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
ListOnSite
objet
entit�
,
interval temporel
,
interval temporel
and
AutonomousAgent
objet
est une
instance
de
WebSite
entit�
est une
instance
de
WebListing
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
rencontre
interval temporel
hostedOn
entit�
and
objet
pendant
interval temporel
hostedOn
entit�
and
objet
pendant
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?DAY1 ?DAY2)
(
and
(
instance
?DAY1
DayTime
)
(
instance
?DAY2
DayTime
)
(
meetsTemporally
?NIGHT ?DAY1)
(
meetsTemporally
?DAY2 ?NIGHT))))
Merge.kif 8892-8899
Interval temporel
est une
instance
de
NightTime
interval temporel
interval temporel
interval temporel
est une
instance
de
DayTime
interval temporel
est une
instance
de
DayTime
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19166-19171
Interval temporel
est une
instance
de
SpringSeason
interval temporel
interval temporel
est une
instance
de
SummerSeason
interval temporel
rencontre
interval temporel
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19173-19178
Interval temporel
est une
instance
de
SpringSeason
interval temporel
interval temporel
est une
instance
de
WinterSeason
interval temporel
rencontre
interval temporel
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19191-19196
Interval temporel
est une
instance
de
SummerSeason
interval temporel
interval temporel
est une
instance
de
FallSeason
interval temporel
rencontre
interval temporel
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19184-19189
Interval temporel
est une
instance
de
SummerSeason
interval temporel
interval temporel
est une
instance
de
SpringSeason
interval temporel
rencontre
interval temporel
(=>
(
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
Processus
est une
instance
de
TwoStrokeEngineCycle
interval temporel
interval temporel
,
processus
T and
interval temporel
2
interval temporel
est une
instance
de
TwoStrokeIntake
interval temporel
est une
instance
de
TwoStrokeCompression
processus
T est une
instance
de
TwoStrokeTransfer
interval temporel
2 est une
instance
de
TwoStrokeIntake
interval temporel
est un
sous
-processus de
processus
interval temporel
est un
sous
-processus de
processus
processus
T est un
sous
-processus de
processus
interval temporel
2 est un
sous
-processus de
processus
interval temporel
rencontre
interval temporel
interval temporel
rencontre
processus
T
processus
T
rencontre
interval temporel
2
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 369-374
Interval temporel
est une
instance
de
Advent
interval temporel
interval temporel
est une
instance
de
ChristmasDay
interval temporel
rencontre
interval temporel
(=>
(
instance
?T1
ChristmasDay
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 362-367
Interval temporel
est une
instance
de
ChristmasDay
interval temporel
interval temporel
est une
instance
de
Advent
interval temporel
rencontre
interval temporel
(=>
(
instance
?T1
EasterSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Lent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 430-435
Interval temporel
est une
instance
de
EasterSunday
interval temporel
interval temporel
est une
instance
de
Lent
interval temporel
rencontre
interval temporel
(=>
(
instance
?T1
Lent
)
(
exists
(?T2)
(
and
(
instance
?T2
EasterSunday
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 423-428
Interval temporel
est une
instance
de
Lent
interval temporel
interval temporel
est une
instance
de
EasterSunday
interval temporel
rencontre
interval temporel
(=>
(
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
Processus
est une
instance
de
VaporCompressionCycle
processus
processus
,
processus
and
processus
2
processus
est une
instance
de
Compressing
processus
est une
instance
de
condenser
processus
est une
instance
de
Evaporating
processus
2 est une
instance
de
Compressing
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
2 est un
sous
-processus de
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
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
Interval temporel
est une
instance
de
Weekend
interval temporel
interval temporel
interval temporel
est une
instance
de
Samedi
interval temporel
est une
instance
de
Dimanche
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19153-19158
Interval temporel
est une
instance
de
WinterSeason
interval temporel
interval temporel
est une
instance
de
FallSeason
interval temporel
rencontre
interval temporel
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19146-19151
Interval temporel
est une
instance
de
WinterSeason
interval temporel
interval temporel
est une
instance
de
SpringSeason
interval temporel
rencontre
interval temporel
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