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 10362-10373
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 8892-8899
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 1626-1638
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 8508-8510
Interval temporel
est une
instance
de
interval temporel
avant
interval temporel
rencontre
interval temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8539-8541
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 8914-8921
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 19165-19170
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 19172-19177
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 19190-19195
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 19183-19188
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 2029-2049
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 19120-19128
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 19152-19157
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 19145-19150
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