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
和
那个 另外 过程
出现 的
time
比
那个 第三 过程
出现 的
time
发生的
earlier
和
那个 另外 过程
出现 的
time
接着
那个 第三 过程
出现 的
time
(=>
(
instance
?DAY
DayTime
)
(
exists
(?NIGHT1 ?NIGHT2)
(
and
(
instance
?NIGHT1
NightTime
)
(
instance
?NIGHT2
NightTime
)
(
meetsTemporally
?DAY ?NIGHT1)
(
meetsTemporally
?NIGHT2 ?DAY))))
Merge.kif 8870-8877
如果
时距
是
一天的时间
的
instance
,
然后 有存在
另一个 时距
和
第三 时距
这样
那个 另外 时距
是
晚上的时间
的
instance
和
那个 第三 时距
是
晚上的时间
的
instance
和
那个 时距
接着
那个 另外 时距
和
那个 第三 时距
接着
那个 时距
(=>
(
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
如果
过程
是
山洪暴发
的
instance
,
然后 有存在
另一个 过程
和
实数
这样
那个 另外 过程
是
水运动
的
instance
和
那个 另外 过程
causes
那个 过程
和
那个 另外 过程
出现 的
time
接着
那个 过程
出现 的
time
和
那个 另外 过程
出现 的
time
的
duration
是
那个 实数
小时
和
那个 实数
是
lessThan
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
如果
物理
是
FourStrokeEngine
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
那个 实体
2 这样
那个 实体
是
FourStrokeIntake
的
instance
和
那个 另外 实体
是
FourStrokeCompression
的
instance
和
那个 第三 实体
是
FourStrokeCombustion
的
instance
和
那个 第四 实体
是
FourStrokeExhaust
的
instance
和
那个 实体
2 是
FourStrokeIntake
的
instance
和
那个 实体
是
located
在
那个 物理
和
那个 另外 实体
是
located
在
那个 物理
和
那个 第三 实体
是
located
在
那个 物理
和
那个 第四 实体
是
located
在
那个 物理
和
那个 实体
2 是
located
在
那个 物理
和
那个 实体
接着
那个 另外 实体
和
那个 另外 实体
接着
那个 第三 实体
和
那个 第三 实体
接着
那个 第四 实体
和
那个 第四 实体
接着
那个 实体
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
如果
过程
是
FourStrokeEngineCycle
的
instance
,
然后 有存在
时距
,
另一个 时距
,, ,
第三 时距
,, ,
第四 时距
, and 和
那个 时距
2 这样
那个 时距
是
FourStrokeIntake
的
instance
和
那个 另外 时距
是
FourStrokeCompression
的
instance
和
那个 第三 时距
是
FourStrokeCombustion
的
instance
和
那个 第四 时距
是
FourStrokeExhaust
的
instance
和
那个 时距
2 是
FourStrokeIntake
的
instance
和
那个 时距
%n是
那个 过程
的
subProcess
和
那个 另外 时距
%n是
那个 过程
的
subProcess
和
那个 第三 时距
%n是
那个 过程
的
subProcess
和
那个 第四 时距
%n是
那个 过程
的
subProcess
和
那个 时距
2%n是
那个 过程
的
subProcess
和
那个 时距
接着
那个 另外 时距
和
那个 另外 时距
接着
那个 第三 时距
和
那个 第三 时距
接着
那个 第四 时距
和
那个 第四 时距
接着
那个 时距
2
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
如果
时距
是
时距
的
instance
,
然后
那个 时距
before
接着
那个 时距
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
如果
时距
是
时距
的
instance
,
然后
那个 时距
接着
那个 时距
之后
(=>
(
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
,
然后 有存在
客体
,
实体
,, ,
另一个 时距
,, ,
第三 时距
, and 和
施事体
这样
那个 客体
是
WebSite
的
instance
和
那个 实体
是
WebListing
的
instance
和
那个 另外 时距
是
时距
的
instance
和
那个 第三 时距
是
时距
的
instance
和
那个 实体
是
那个 时距
的
patient
和
那个 另外 时距
的结束
equal
那个 时距
的结束 和
那个 时距
比
那个 第三 时距
发生的
earlier
和
那个 时距
接着
那个 第三 时距
和 不
那个 实体
是在
那个 客体
hosted
在
那个 另外 时距
holdsDuring
和
那个 实体
是在
那个 客体
hosted
在
那个 第三 时距
holdsDuring
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
possesses
那个 客体
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?DAY1 ?DAY2)
(
and
(
instance
?DAY1
DayTime
)
(
instance
?DAY2
DayTime
)
(
meetsTemporally
?NIGHT ?DAY1)
(
meetsTemporally
?DAY2 ?NIGHT))))
Merge.kif 8892-8899
如果
时距
是
晚上的时间
的
instance
,
然后 有存在
另一个 时距
和
第三 时距
这样
那个 另外 时距
是
一天的时间
的
instance
和
那个 第三 时距
是
一天的时间
的
instance
和
那个 时距
接着
那个 另外 时距
和
那个 第三 时距
接着
那个 时距
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19166-19171
如果
时距
是
春暖花开的季节
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
夏季
的
instance
和
那个 时距
接着
那个 另外 时距
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19173-19178
如果
时距
是
春暖花开的季节
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
冬季
的
instance
和
那个 另外 时距
接着
那个 时距
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19191-19196
如果
时距
是
夏季
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
秋季
的
instance
和
那个 时距
接着
那个 另外 时距
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19184-19189
如果
时距
是
夏季
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
春暖花开的季节
的
instance
和
那个 另外 时距
接着
那个 时距
(=>
(
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
,
然后 有存在
时距
,
另一个 时距
,, ,
那个 过程
T, and 和
那个 时距
2 这样
那个 时距
是
TwoStrokeIntake
的
instance
和
那个 另外 时距
是
TwoStrokeCompression
的
instance
和
那个 过程
T 是
TwoStrokeTransfer
的
instance
和
那个 时距
2 是
TwoStrokeIntake
的
instance
和
那个 时距
%n是
那个 过程
的
subProcess
和
那个 另外 时距
%n是
那个 过程
的
subProcess
和
那个 过程
T%n是
那个 过程
的
subProcess
和
那个 时距
2%n是
那个 过程
的
subProcess
和
那个 时距
接着
那个 另外 时距
和
那个 另外 时距
接着
那个 过程
T 和
那个 过程
T 接着
那个 时距
2
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 369-374
如果
时距
是
Advent
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
ChristmasDay
的
instance
和
那个 时距
接着
那个 另外 时距
(=>
(
instance
?T1
ChristmasDay
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 362-367
如果
时距
是
ChristmasDay
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
Advent
的
instance
和
那个 另外 时距
接着
那个 时距
(=>
(
instance
?T1
EasterSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Lent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 430-435
如果
时距
是
EasterSunday
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
Lent
的
instance
和
那个 另外 时距
接着
那个 时距
(=>
(
instance
?T1
Lent
)
(
exists
(?T2)
(
and
(
instance
?T2
EasterSunday
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 423-428
如果
时距
是
Lent
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
EasterSunday
的
instance
和
那个 时距
接着
那个 另外 时距
(=>
(
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
,
然后 有存在
另一个 过程
,
第三 过程
,, ,
第四 过程
, and 和
那个 另外 过程
2 这样
那个 另外 过程
是
Compressing
的
instance
和
那个 第三 过程
是
凝结
的
instance
和
那个 第四 过程
是
蒸发
的
instance
和
那个 另外 过程
2 是
Compressing
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 第四 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
2%n是
那个 过程
的
subProcess
和
那个 另外 过程
出现 的
time
接着
那个 第三 过程
出现 的
time
和
那个 第三 过程
出现 的
time
接着
那个 第四 过程
出现 的
time
和
那个 第四 过程
出现 的
time
接着
那个 另外 过程
2 出现 的
time
(=>
(
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
如果
时距
是
周末
的
instance
,
然后 有存在
另一个 时距
和
第三 时距
这样
那个 另外 时距
是
星期六
的
instance
和
那个 第三 时距
是
星期日
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
finishes
了才到
那个 时距
和
那个 另外 时距
接着
那个 第三 时距
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19153-19158
如果
时距
是
冬季
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
秋季
的
instance
和
那个 另外 时距
接着
那个 时距
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19146-19151
如果
时距
是
冬季
的
instance
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
春暖花开的季节
的
instance
和
那个 时距
接着
那个 另外 时距
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