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 and
TimeInterval
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
域
短暫相遇
, 2 and
TimeInterval
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8323-8323
例
短暫相遇
and
AsymmetricRelation
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8321-8321
例
短暫相遇
and
BinaryPredicate
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8324-8324
例
短暫相遇
and
IntransitiveRelation
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8322-8322
例
短暫相遇
and
TemporalRelation
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
例
短暫相遇
and
TotalValuedRelation
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
例
TimeInterval
and
Sunday
例
TimeInterval
and
Monday
例
TimeInterval
and
Week
例
TimeInterval
and
Week
時間部分
TimeInterval
and
TimeInterval
時間部分
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
例
Process
and
畫一張支票
患者
Process
and
Entity
例
Process
and
處理檢查
患者
Process
and
Entity
等於
何時
Process
and
Process
Time
等於
何時
Process
and
Process
Time
短暫相遇
Process
Time and
TimeInterval
短暫相遇
TimeInterval
and
Process
Time
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 6
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
Lent
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
Lent
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
期間
TimeInterval
and
TimeInterval
(=>
(
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
例
TimeInterval
and
月
December
and
年
例
TimeInterval
and
月
January
and
年
例
TimeInterval
and
年
例
TimeInterval
and
年
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
例
TimeInterval
and
Advent
例
TimeInterval
and
ChristmasDay
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
例
TimeInterval
and
Advent
例
TimeInterval
and
ChristmasDay
期間
TimeInterval
and
TimeInterval
例
TimeInterval
and
年
短暫相遇
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
(=>
(
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
例
TimeInterval
and
Advent
例
TimeInterval
and
ChristmasDay
短暫相遇
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
年
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
(=>
(
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
持有期間
TimeInterval
and
attribute
entity
and
Concussion
持有期間
TimeInterval
and
attribute
entity
and
Concussion
短暫相遇
TimeInterval
and
TimeInterval
模態屬性
持有期間
開始
TimeInterval
and
attribute
entity
and
Unconscious
and
容易
(=>
(
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
ComputerProgram
的
startup
time
delay
是
TimeDuration
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
例
Physical
and
電腦程序
等於
何時
Physical
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8333-8337
短暫相遇
TimeInterval
and
TimeInterval
等於
結束
TimeInterval
and
開始
TimeInterval
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
短暫相遇
TimeInterval
and
TimeInterval
TimePosition
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimeInterval
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
attribute
Object
and
CommunalAttribute
例
Object
and
表
例
Process
and
Eating
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
一群人
Process
是
located
在
Object
模態屬性
entity
entity
and
Object
2
例
entity
and
Eating
agent
entity
and
entity
等於
AutonomousAgent
and
entity
例
entity
and
一群人
entity
是
located
在
Object
2
短暫相遇
何時
Process
and
何時
entity
等於
Object
and
Object
2 and
可能性
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
幼蟲
例
Process
and
Birth
等於
TimeInterval
and
何時
Process
體驗者
Process
and
AutonomousAgent
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
例
Process
and
躲著
agent
Process
and
AutonomousAgent
等於
Process
T and
何時
Process
有目的
Process
and
entity
短暫相遇
Process
T and
何時
entity
暫時重疊
Process
T and
何時
entity
例
entity
and
Impacting
患者
entity
and
AutonomousAgent
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
例
TimeInterval
and
天
PositiveInteger
and
Month
例
TimeInterval
and
天
PositiveInteger
and
Month
等於
減法
PositiveInteger
and
PositiveInteger
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
例
TimeInterval
and
Friday
例
TimeInterval
and
Saturday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
例
TimeInterval
and
Monday
例
TimeInterval
and
Tuesday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
例
TimeInterval
and
Saturday
例
TimeInterval
and
Sunday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
例
TimeInterval
and
Sunday
例
TimeInterval
and
Monday
例
TimeInterval
and
Week
例
TimeInterval
and
Week
時間部分
TimeInterval
and
TimeInterval
時間部分
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
例
TimeInterval
and
Thursday
例
TimeInterval
and
Friday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
例
TimeInterval
and
Tuesday
例
TimeInterval
and
Wednesday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
例
TimeInterval
and
Wednesday
例
TimeInterval
and
Thursday
例
TimePosition
and
Week
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
例
Process
and
發現
患者
Process
and
Entity
Physical
例
Physical
and
Pursuing
短暫相遇
何時
Physical
and
何時
Process
(=>
(
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
例
Process
and
打勾
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
逃逸
agent
Process
and
AutonomousAgent
Process
例
Process
and
Confining
患者
Process
and
AutonomousAgent
短暫相遇
何時
Process
and
何時
Process
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8922-8929
例
TimeInterval
and
Evening
例
TimeInterval
and
下午
例
TimeInterval
and
Day
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
例
Process
and
FlashingLight
起源
Process
and
Object
Process
TimeInterval
and
Process
例
Process
and
RadiatingLight
例
TimeInterval
and
TimeInterval
例
Process
and
RadiatingLight
短暫相遇
何時
Process
and
TimeInterval
短暫相遇
TimeInterval
and
何時
Process
TimeInterval
例
TimeInterval
and
RadiatingLight
起源
TimeInterval
and
Object
期間
何時
TimeInterval
and
TimeInterval
子過程
Process
and
Process
子過程
Process
and
Process
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8629-8634
例
TimeInterval
and
小時
NonnegativeInteger
and
Day
例
TimeInterval
and
小時
NonnegativeInteger
and
Day
等於
減法
NonnegativeInteger
and
NonnegativeInteger
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8656-8661
例
TimeInterval
and
分
NonnegativeInteger
and
Hour
例
TimeInterval
and
分
NonnegativeInteger
and
Hour
等於
減法
NonnegativeInteger
and
NonnegativeInteger
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9108-9112
例
TimeInterval
and
月
April
and
年
例
TimeInterval
and
月
May
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9164-9168
例
TimeInterval
and
月
August
and
年
例
TimeInterval
and
月
September
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
例
TimeInterval
and
月
December
and
年
例
TimeInterval
and
月
January
and
年
例
TimeInterval
and
年
例
TimeInterval
and
年
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9080-9084
例
TimeInterval
and
月
February
and
年
例
TimeInterval
and
月
March
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9056-9060
例
TimeInterval
and
月
January
and
年
例
TimeInterval
and
月
February
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9150-9154
例
TimeInterval
and
月
July
and
年
例
TimeInterval
and
月
August
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9136-9140
例
TimeInterval
and
月
June
and
年
例
TimeInterval
and
月
July
and
年
短暫相遇
TimeInterval
and
TimeInterval
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