Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
meetsTemporally
Sigma KEE - meetsTemporally
meetsTemporally
appearance as argument number 1
(
documentation
meetsTemporally
ChineseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) 的意思是
TimeInterval
?INTERVAL1 的终点是
TimeInterval
?INTERVAL2 起点。")
chinese_format.kif 2722-2723
(
documentation
meetsTemporally
EnglishLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) means that the terminal point of the
TimeInterval
?INTERVAL1 is the initial point of the
TimeInterval
?INTERVAL2.")
Merge.kif 8329-8331
(
documentation
meetsTemporally
JapaneseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL1 の端子点が
TimeInterval
?INTERVAL2 の初期点であることを意味 する。")
japanese_format.kif 1446-1448
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8326-8326
在时间上接着
的 1 数量 是
时距
的
instance
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
在时间上接着
的 2 数量 是
时距
的
instance
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8323-8323
在时间上接着
是
非对称关系
的
instance
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8321-8321
在时间上接着
是
二元谓语
的
instance
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8324-8324
在时间上接着
是
非传递关系
的
instance
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8322-8322
在时间上接着
是
时间关系
的
instance
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
在时间上接着
是
总值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
meetsTemporally
"%1 %n{doesn't} 接着 %2")
chinese_format.kif 435-435
(
format
EnglishLanguage
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 441-441
(
format
FrenchLanguage
meetsTemporally
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 252-252
(
format
ItalianLanguage
meetsTemporally
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 180-180
(
format
JapaneseLanguage
meetsTemporally
"%1 は %2 に meet%p{s} %n{ない}")
japanese_format.kif 2046-2046
(
format
PortugueseLanguage
meetsTemporally
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 204-204
(
format
cz
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
relations-cz.txt 258-258
(
format
de
meetsTemporally
"%1 schliesst %2 zeitlich %n{nicht} an")
relations-de.txt 568-568
(
format
hi
meetsTemporally
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 218-218
(
format
ro
meetsTemporally
"%1 %n{nu} meet%t{se continuã} cu %2")
relations-ro.kif 273-273
(
format
sv
meetsTemporally
"%1 möter %n{inte} %2")
relations-sv.txt 276-276
(
format
tg
meetsTemporally
"%1 %n ay sumali sa %2")
relations-tg.txt 356-356
(
termFormat
ChineseLanguage
meetsTemporally
"在时间上接着")
chinese_format.kif 436-436
(
termFormat
ChineseLanguage
meetsTemporally
"短暂相遇")
domainEnglishFormat.kif 36923-36923
(
termFormat
ChineseTraditionalLanguage
meetsTemporally
"短暫相遇")
domainEnglishFormat.kif 36922-36922
(
termFormat
EnglishLanguage
meetsTemporally
"meets temporally")
domainEnglishFormat.kif 36921-36921
antecedent
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
如果
时距
是
星期日
的
instance
和
另一个 时距
是
星期一
的
instance
和
第三 时距
是
星期
的
instance
和
第四 时距
是
星期
的
instance
和
那个 时距
时段 是
那个 第三 时距
时段 的一
part
和
那个 另外 时距
时段 是
那个 第四 时距
时段 的一
part
和
那个 第三 时距
接着
那个 第四 时距
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
如果
过程
是
画一张支票
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 过程
是
处理检查
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 过程
Time 和
那个 另外 过程
出现 的
time
equal
那个 另外 过程
Time 和
那个 过程
Time 接着
第三 时距
和
那个 第三 时距
接着
那个 另外 过程
Time 和
那个 第三 时距
的
duration
是
实数
月持续时间
,
然后
那个 实数
是
lessThan
6
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
如果
时距
是
EasterSunday
的
instance
和
另一个 时距
是
Lent
的
instance
和
那个 另外 时距
接着
那个 时距
和
那个 时距
在
第三 时距
时段内发生 和
那个 第三 时距
是
年
的
instance
,
然后
那个 另外 时距
在
那个 第三 时距
时段内发生
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
如果
时距
是
EasterSunday
的
instance
和
另一个 时距
是
Lent
的
instance
和
那个 另外 时距
接着
那个 时距
和
那个 另外 时距
在
第三 时距
时段内发生 和
那个 第三 时距
是
年
的
instance
,
然后
那个 时距
在
那个 第三 时距
时段内发生
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
如果
时距
是
十二月
month
的
instance
和
另一个 时距
是
一月
month
的
instance
和
第三 时距
是
有点 年
的
instance
和
第四 时距
是
另一个 有点 年
的
instance
和
那个 第三 时距
接着
那个 第四 时距
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
如果
时距
是
Advent
的
instance
和
另一个 时距
是
ChristmasDay
的
instance
和
那个 时距
在
第三 时距
时段内发生 和
那个 第三 时距
是
年
的
instance
和
那个 时距
接着
那个 另外 时距
,
然后
那个 另外 时距
在
那个 第三 时距
时段内发生
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
如果
时距
是
Advent
的
instance
和
另一个 时距
是
ChristmasDay
的
instance
和
那个 另外 时距
在
第三 时距
时段内发生 和
那个 第三 时距
是
年
的
instance
和
那个 时距
接着
那个 另外 时距
,
然后
那个 时距
在
那个 第三 时距
时段内发生
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))
(
exists
(?YEAR)
(
and
(
instance
?YEAR
Year
)
(
during
?T1 ?YEAR)
(
during
?T2 ?YEAR))))
Media.kif 376-385
如果
时距
是
Advent
的
instance
和
另一个 时距
是
ChristmasDay
的
instance
和
那个 时距
接着
那个 另外 时距
,
然后 有存在
第三 时距
这样
那个 第三 时距
是
年
的
instance
和
那个 时距
在
那个 第三 时距
时段内发生 和
那个 另外 时距
在
那个 第三 时距
时段内发生
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
如果
Concussion
是
实体
的
attribute
doesn't 在
时距
holdsDuring
和
Concussion
是
那个 实体
的
attribute
在
另一个 时距
holdsDuring
和
那个 时距
接着
那个 另外 时距
,
然后
无意识
是
那个 实体
的
attribute
在
那个 另外 时距
的开始
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
如果
电脑程序
的
startup
time
delay
是
持续时间
和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
和
物理
是
电脑程序
的
instance
和
那个 物理
出现 的
time
equal
另一个 时距
和
那个 时距
接着
第三 时距
和
那个 第三 时距
接着
那个 另外 时距
,
然后
那个 第三 时距
的
duration
是
那个 持续时间
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8333-8337
如果
时距
接着
另一个 时距
,
然后
那个 时距
的结束
equal
那个 另外 时距
的开始
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
如果
时距
接着
另一个 时距
,
然后 不存在
时间位置
这样
那个 时间位置
是
时距
的
instance
和
那个 时间位置
时段 是
那个 时距
时段 的一
part
和
那个 时间位置
时段 是
那个 另外 时距
时段 的一
part
consequent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
如果
CommunalAttribute
是
客体
的
attribute
和
那个 客体
是
表
的
instance
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
一群人
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
,
另一个 实体
, and 和
那个 客体
2 这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 施事体
不
equal
那个 实体
和
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
located
在
那个 客体
2 和
那个 过程
出现 的
time
接着
那个 另外 实体
出现 的
time
和
那个 客体
equal
那个 客体
2 的声明 has
可能性
的语气
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
如果
幼虫
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
接着
那个 时距
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
如果
过程
是
躲着
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
T
equal
那个 过程
出现 的
time
,
然后
那个 过程
的 目的 是 不存在
实体
这样
那个 过程
T 接着
那个 实体
出现 的
time
或
那个 实体
出现 的
time
时段 和
那个 过程
T 重叠 和
那个 实体
是
碰撞
的
instance
和
那个 施事体
是
那个 实体
的
patient
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和 (
那个 另外 正整数
和
那个 正整数
)
equal
1,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
如果
时距
是
星期五
的
instance
和
另一个 时距
是
星期六
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
如果
时距
是
星期一
的
instance
和
另一个 时距
是
星期二
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
如果
时距
是
星期六
的
instance
和
另一个 时距
是
星期日
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
如果
时距
是
星期日
的
instance
和
另一个 时距
是
星期一
的
instance
和
第三 时距
是
星期
的
instance
和
第四 时距
是
星期
的
instance
和
那个 时距
时段 是
那个 第三 时距
时段 的一
part
和
那个 另外 时距
时段 是
那个 第四 时距
时段 的一
part
和
那个 第三 时距
接着
那个 第四 时距
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
如果
时距
是
星期四
的
instance
和
另一个 时距
是
星期五
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
如果
时距
是
星期二
的
instance
和
另一个 时距
是
星期三
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
如果
时距
是
星期三
的
instance
和
另一个 时距
是
星期四
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
如果
过程
是
发现
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
物理
这样
那个 物理
是
追求
的
instance
和
那个 物理
出现 的
time
接着
那个 过程
出现 的
time
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
如果
过程
是
打勾
的
instance
和
物理
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
施事体
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 物理
是 对于
那个 施事体
的
price
实数
那个 测量单位
,
然后 有存在
另一个 过程
,
另一个 施事体
, and 和
另一个 实数
这样
那个 另外 过程
是
股市交易
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 另外 施事体
和
那个 另外 施事体
接着
那个 施事体
和
那个 物理
是 对于
那个 另外 施事体
的
price
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17281-17289
如果
过程
是
逃逸
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
关押
的
instance
和
那个 施事体
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
接着
那个 过程
出现 的
time
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8922-8929
如果
时距
是
Evening
的
instance
和
另一个 时距
是
下午
的
instance
和
第三 时距
是
日
的
instance
和
那个 时距
在
那个 第三 时距
时段内发生 和
那个 另外 时距
在
那个 第三 时距
时段内发生,
然后
那个 另外 时距
接着
那个 时距
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
如果
过程
是
FlashingLight
的
instance
和
客体
是
那个 过程
的源头,
然后 有存在
另一个 过程
,
时距
, and 和
第三 过程
这样
那个 另外 过程
是
放射光线
的
instance
和
那个 时距
是
时距
的
instance
和
那个 第三 过程
是
放射光线
的
instance
和
那个 另外 过程
出现 的
time
接着
另一个 时距
和
那个 另外 时距
接着
那个 第三 过程
出现 的
time
和 不存在
那个 另外 时距
这样
那个 另外 时距
是
放射光线
的
instance
和
那个 客体
是
那个 另外 时距
的源头 和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8629-8634
如果
时距
是
非负整数
hour
的
instance
和
另一个 时距
是
另一个 非负整数
hour
的
instance
和 (
那个 另外 非负整数
和
那个 非负整数
)
equal
1,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8656-8661
如果
时距
是
非负整数
minute
的
instance
和
另一个 时距
是
另一个 非负整数
minute
的
instance
和 (
那个 另外 非负整数
和
那个 非负整数
)
equal
1,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9108-9112
如果
时距
是
A四月
month
的
instance
和
另一个 时距
是
五月
month
的
instance
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9164-9168
如果
时距
是
八月
month
的
instance
和
另一个 时距
是
九月
month
的
instance
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
如果
时距
是
十二月
month
的
instance
和
另一个 时距
是
一月
month
的
instance
和
第三 时距
是
有点 年
的
instance
和
第四 时距
是
另一个 有点 年
的
instance
和
那个 第三 时距
接着
那个 第四 时距
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9080-9084
如果
时距
是
二月
month
的
instance
和
另一个 时距
是
三月
month
的
instance
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9056-9060
如果
时距
是
一月
month
的
instance
和
另一个 时距
是
二月
month
的
instance
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9150-9154
如果
时距
是
七月
month
的
instance
和
另一个 时距
是
八月
month
的
instance
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9136-9140
如果
时距
是
六月
month
的
instance
和
另一个 时距
是
七月
month
的
instance
,
然后
那个 时距
接着
那个 另外 时距
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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