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
工程
は
Breath
の
instance
では %n
工程
工程
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
(=>
(
instance
?DAY
DayTime
)
(
exists
(?NIGHT1 ?NIGHT2)
(
and
(
instance
?NIGHT1
NightTime
)
(
instance
?NIGHT2
NightTime
)
(
meetsTemporally
?DAY ?NIGHT1)
(
meetsTemporally
?NIGHT2 ?DAY))))
Merge.kif 8870-8877
時間間隔
は
DayTime
の
instance
では %n
時間間隔
時間間隔
時間間隔
は
NightTime
の
instance
では %n
時間間隔
は
NightTime
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
工程
は
FlashFlooding
の
instance
では %n
工程
実数
工程
は
WaterMotion
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
工程
の
time
の existence の
duration
は
実数
の
HourDuration
(s) では %n
実数
は 6.0 より
less
では %n
(=>
(
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
物理
は
FourStrokeEngine
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
2
エンティティー
は
FourStrokeIntake
の
instance
では %n
エンティティー
は
FourStrokeCompression
の
instance
では %n
エンティティー
は
FourStrokeCombustion
の
instance
では %n
エンティティー
は
FourStrokeExhaust
の
instance
では %n
エンティティー
2 は
FourStrokeIntake
の
instance
では %n
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
2 and
物理
エンティティー
は
エンティティー
に
meet
s %n{ない}
エンティティー
は
エンティティー
に
meet
s %n{ない}
エンティティー
は
エンティティー
に
meet
s %n{ない}
エンティティー
は
エンティティー
2 に
meet
s %n{ない} の 目的 %n{ない}
(=>
(
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
工程
は
FourStrokeEngineCycle
の
instance
では %n
時間間隔
時間間隔
,
時間間隔
,
時間間隔
and
時間間隔
2
時間間隔
は
FourStrokeIntake
の
instance
では %n
時間間隔
は
FourStrokeCompression
の
instance
では %n
時間間隔
は
FourStrokeCombustion
の
instance
では %n
時間間隔
は
FourStrokeExhaust
の
instance
では %n
時間間隔
2 は
FourStrokeIntake
の
instance
では %n
時間間隔
は
工程
% の
subprocess
では %n
時間間隔
は
工程
% の
subprocess
では %n
時間間隔
は
工程
% の
subprocess
では %n
時間間隔
は
工程
% の
subprocess
では %n
時間間隔
2 は
工程
% の
subprocess
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
2 に
meet
s %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
before
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
after
に
meet
s %n{ない}
(=>
(
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
時間間隔
は
ListOnSite
の
instance
では %n
オブジェクト
エンティティー
,
時間間隔
,
時間間隔
and
AutonomousAgent
オブジェクト
は
WebSite
の
instance
では %n
エンティティー
は
WebListing
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
時間間隔
の
end
は
時間間隔
の
end
と
equal
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
hostedOn
エンティティー
and
オブジェクト
は
時間間隔
の
during
holds %n{ない}
hostedOn
エンティティー
and
オブジェクト
は
時間間隔
の
during
holds %n{ない}
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?DAY1 ?DAY2)
(
and
(
instance
?DAY1
DayTime
)
(
instance
?DAY2
DayTime
)
(
meetsTemporally
?NIGHT ?DAY1)
(
meetsTemporally
?DAY2 ?NIGHT))))
Merge.kif 8892-8899
時間間隔
は
NightTime
の
instance
では %n
時間間隔
時間間隔
時間間隔
は
DayTime
の
instance
では %n
時間間隔
は
DayTime
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19166-19171
時間間隔
は
SpringSeason
の
instance
では %n
時間間隔
時間間隔
は
SummerSeason
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19173-19178
時間間隔
は
SpringSeason
の
instance
では %n
時間間隔
時間間隔
は
WinterSeason
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19191-19196
時間間隔
は
SummerSeason
の
instance
では %n
時間間隔
時間間隔
は
FallSeason
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19184-19189
時間間隔
は
SummerSeason
の
instance
では %n
時間間隔
時間間隔
は
SpringSeason
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
工程
は
TwoStrokeEngineCycle
の
instance
では %n
時間間隔
時間間隔
,
工程
T and
時間間隔
2
時間間隔
は
TwoStrokeIntake
の
instance
では %n
時間間隔
は
TwoStrokeCompression
の
instance
では %n
工程
T は
TwoStrokeTransfer
の
instance
では %n
時間間隔
2 は
TwoStrokeIntake
の
instance
では %n
時間間隔
は
工程
% の
subprocess
では %n
時間間隔
は
工程
% の
subprocess
では %n
工程
T は
工程
% の
subprocess
では %n
時間間隔
2 は
工程
% の
subprocess
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
工程
T に
meet
s %n{ない}
工程
T は
時間間隔
2 に
meet
s %n{ない}
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 369-374
時間間隔
は
Advent
の
instance
では %n
時間間隔
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?T1
ChristmasDay
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 362-367
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
時間間隔
は
Advent
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?T1
EasterSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Lent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 430-435
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
時間間隔
は
Lent
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?T1
Lent
)
(
exists
(?T2)
(
and
(
instance
?T2
EasterSunday
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 423-428
時間間隔
は
Lent
の
instance
では %n
時間間隔
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
工程
は
VaporCompressionCycle
の
instance
では %n
工程
工程
,
工程
and
工程
2
工程
は
Compressing
の
instance
では %n
工程
は
凝縮
の
instance
では %n
工程
は
Evaporating
の
instance
では %n
工程
2 は
Compressing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
2 は
工程
% の
subprocess
では %n
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
工程
の
time
の existence は
工程
2 の
time
の existence に
meet
s %n{ない}
(=>
(
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
時間間隔
は
Weekend
の
instance
では %n
時間間隔
時間間隔
時間間隔
は
土曜日
の
instance
では %n
時間間隔
は
日曜日
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19153-19158
時間間隔
は
WinterSeason
の
instance
では %n
時間間隔
時間間隔
は
FallSeason
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19146-19151
時間間隔
は
WinterSeason
の
instance
では %n
時間間隔
時間間隔
は
SpringSeason
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
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