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
finishes
Sigma KEE - finishes
finishes
appearance as argument number 1
(
documentation
finishes
ChineseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是
TimeInterval
有共同的结束
TimePoint
,而 ?INTERVAL2 比 ?INTERVAL1 先开始。")
chinese_format.kif 2704-2706
(
documentation
finishes
EnglishLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same ending
TimePoint
and that ?INTERVAL2 begins before ?INTERVAL1.")
Merge.kif 8072-8074
(
documentation
finishes
JapaneseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な
TimePoint
を持つ
TimeInterval
であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。")
japanese_format.kif 1427-1429
(
domain
finishes
1
TimeInterval
)
Merge.kif 8069-8069
域
飾面
, 1 and
TimeInterval
(
domain
finishes
2
TimeInterval
)
Merge.kif 8070-8070
域
飾面
, 2 and
TimeInterval
(
instance
finishes
IrreflexiveRelation
)
Merge.kif 8067-8067
例
飾面
and
IrreflexiveRelation
(
instance
finishes
TemporalRelation
)
Merge.kif 8065-8065
例
飾面
and
TemporalRelation
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
例
飾面
and
TotalValuedRelation
(
instance
finishes
TransitiveRelation
)
Merge.kif 8066-8066
例
飾面
and
TransitiveRelation
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
子關係
飾面
and
時間部分
appearance as argument number 2
(
format
ChineseLanguage
finishes
"%1 %n
finishes
了才到 %2")
chinese_format.kif 421-421
(
format
EnglishLanguage
finishes
"%1 %n{doesn't} finish%p{es} %2")
english_format.kif 427-427
(
format
FrenchLanguage
finishes
"%1 %n{ne} finit %n{pas} %2")
french_format.kif 245-245
(
format
ItalianLanguage
finishes
"%1 %n{non} finisce%p{es} %2")
relations-it.txt 111-111
(
format
JapaneseLanguage
finishes
"%1 は %2 を finish%p{es} %n{ない}")
japanese_format.kif 2039-2039
(
format
PortugueseLanguage
finishes
"%1 %n{nao} termina em %n %2")
portuguese_format.kif 197-197
(
format
cz
finishes
"%1 %n{doesn't} finish%p{es} %2")
relations-cz.txt 250-250
(
format
de
finishes
"%1 beendet %2 %n{nicht}")
relations-de.txt 547-547
(
format
hi
finishes
"%1 %2 ko samaapta %n{nahiin} karataa hai")
relations-hindi.txt 151-151
(
format
ro
finishes
"%1 %n{nu} finish%t{terminã} %2")
relations-ro.kif 266-266
(
format
sv
finishes
"%1 avslutar %n{inte} %2")
relations-sv.txt 266-266
(
format
tg
finishes
"%1 %n simutin %2")
relations-tg.txt 232-232
(
termFormat
ChineseLanguage
finishes
"完成")
chinese_format.kif 422-422
(
termFormat
ChineseLanguage
finishes
"饰面")
domainEnglishFormat.kif 23876-23876
(
termFormat
ChineseTraditionalLanguage
finishes
"飾面")
domainEnglishFormat.kif 23875-23875
(
termFormat
EnglishLanguage
finishes
"finishes")
domainEnglishFormat.kif 23874-23874
(
termFormat
tg
finishes
"simutin")
relations-tg.txt 233-233
antecedent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
TimeInterval
是
金融賬戶
的
agreement
週期
飾面
Day
and
TimeInterval
Day
是
金融賬戶
的
maturity
日期
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?A
AscensionThursday
)
(
during
?E ?Y)
(
during
?A ?Y)
(
starts
?E ?I)
(
finishes
?A ?I))
(
duration
?I
(
MeasureFn
40
DayDuration
)))
Media.kif 538-547
例
TimeInterval
and
年
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
AscensionThursday
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
40 and
一天長度
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
PalmSunday
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?P ?I)
(
finishes
?E ?I))
(
duration
?I
(
MeasureFn
8
DayDuration
)))
Media.kif 473-482
例
TimeInterval
and
年
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
PalmSunday
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
8 and
一天長度
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
Pentecost
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?E ?I)
(
finishes
?P ?I))
(
duration
?I
(
MeasureFn
50
DayDuration
)))
Media.kif 559-568
例
TimeInterval
and
年
例
TimeInterval
and
EasterSunday
例
TimeInterval
and
Pentecost
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
50 and
一天長度
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
TimeInterval
TimeInterval
TimeDuration
是
ComputerProgram
的
dependency
延遲
關機塊
是
ComputerProgram
的
dependency
類別
ComputerProgram
有 對
ComputerProgram
的依賴性
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
等於
何時
電腦程序
and
TimeInterval
等於
開始
TimeInterval
and
結束
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
飾面
TimeInterval
and
TimeInterval
之前
開始
TimeInterval
and
開始
TimeInterval
等於
結束
TimeInterval
and
結束
TimeInterval
consequent
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
attribute
協議
and
GTC訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
之前
開始
TimeInterval
and
開始
TimeInterval
等於
結束
TimeInterval
and
結束
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
例
Process
and
走動
等於
TimeInterval
and
何時
Process
Process
Process
例
Process
and
步進
例
Process
and
步進
子過程
Process
and
Process
子過程
Process
and
Process
啟動
何時
Process
and
TimeInterval
飾面
何時
Process
and
TimeInterval
等於
Process
and
Process
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21474-21489
例
Process
and
臉紅
體驗者
Process
and
AutonomousAgent
TimeInterval
TimeInterval
,
Entity
and
Entity
例
Entity
and
EmotionalState
例
Entity
and
EmotionalState
等於
Entity
and
Entity
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Entity
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Entity
啟動
何時
Process
and
TimeInterval
飾面
何時
Process
and
TimeInterval
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
例
Process
and
CheckInService
原因
Process
and
Process
例
Physical
and
CheckOutService
飾面
何時
Physical
and
何時
Process
(=>
(
and
(
instance
?FALL
FallingAsleep
)
(
experiencer
?FALL ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?FALL))
(
finishes
?FINISH
(
WhenFn
?FALL))
(
holdsDuring
?START
(
attribute
?AGENT
Awake
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Asleep
)))))
Mid-level-ontology.kif 16380-16389
例
Process
and
沉沉睡去
體驗者
Process
and
AutonomousAgent
TimeInterval
TimeInterval
啟動
TimeInterval
and
何時
Process
飾面
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Awake
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Asleep
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
例
TimeInterval
and
停止運營
例
AutonomousAgent
and
Organization
agent
TimeInterval
and
AutonomousAgent
飾面
TimeInterval
and
何時
AutonomousAgent
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
例
Physical
and
OrganismRemains
持有期間
何時
Physical
and
部分
entity
and
Physical
Physical
例
Physical
and
Organism
早期
何時
Physical
and
何時
Physical
飾面
何時
Physical
and
何時
Physical
持有期間
何時
Physical
and
部分
entity
and
Physical
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
例
Process
and
易位
例
Process
and
易位
起源
Process
and
Object
起源
Process
and
Object
目的地
Process
and
Object
目的地
Process
and
Entity
體驗者
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
Process
例
Process
and
易位
起源
Process
and
Object
目的地
Process
and
Entity
子過程
Process
and
Process
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
啟動
何時
Process
and
何時
Process
飾面
何時
Process
and
何時
Process
(=>
(
and
(
instance
?WAKE
WakingUp
)
(
experiencer
?WAKE ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?WAKE))
(
finishes
?FINISH
(
WhenFn
?WAKE))
(
holdsDuring
?START
(
attribute
?AGENT
Asleep
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Awake
)))))
Mid-level-ontology.kif 16395-16404
例
Process
and
起來
體驗者
Process
and
AutonomousAgent
TimeInterval
TimeInterval
啟動
TimeInterval
and
何時
Process
飾面
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Asleep
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Awake
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
例
Object
and
CarAlarm
例
Object
and
自供電公路車輛
部分
Object
and
Object
entity
entity
,
entity
and
entity
有目的
Object
and
例
entity
and
偷竊行為
例
entity
and
Damaging
例
entity
and
Human
agent
entity
and
entity
患者
entity
and
Object
等於
何時
entity
and
entity
entity
是
partly
located
在
entity
entity
例
entity
and
RadiatingSound
agent
entity
and
Object
原因
entity
and
entity
有目的
entity
and
增加可能性
entity
例
entity
and
Human
持有期間
entity
and
方位
entity
,
entity
and
近
and
知道
entity
and
entity
例
entity
and
偷竊行為
例
entity
and
Damaging
entity
是
partly
located
在
entity
持有期間
entity
and
患者
entity
and
Object
飾面
何時
entity
and
何時
entity
(=>
(
and
(
meatOfAnimal
?MEAT ?ANIMAL)
(
instance
?M ?MEAT))
(
exists
(?TIME ?A)
(
and
(
instance
?A ?ANIMAL)
(
finishes
?TIME
(
WhenFn
?A))
(
holdsDuring
?TIME
(
part
?M ?A)))))
Mid-level-ontology.kif 20356-20365
Meat
是
Animal
的
meat
例
Entity
and
Meat
TimeInterval
Physical
例
Physical
and
Animal
飾面
TimeInterval
and
何時
Physical
持有期間
TimeInterval
and
部分
Entity
and
Physical
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
dateOfStatement
?Statement ?Date))
(
finishes
?Date ?Period))
FinancialOntology.kif 4070-4074
TimeInterval
是
銀行對帳單
的
statement
週期 %2 是 %3 的聲明
date
飾面
Day
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9416-9421
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9423-9433
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
持有期間
TimePosition
and
例
entity
and
IntensiveCareUnit
entity
stays
在
entity
模態屬性
entity
例
entity
and
Death
飾面
何時
entity
and
TimePosition
and
可能性
(=>
(
instance
?AM
AnteMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
24 ?D))
(
starts
?HOUR1 ?AM)
(
instance
?HOUR2
(
HourFn
12 ?D))
(
finishes
?HOUR2 ?AM))))
Mid-level-ontology.kif 19095-19102
例
TimeInterval
and
午前
Day
TimeInterval
and
TimeInterval
例
TimeInterval
and
小時
24 and
Day
啟動
TimeInterval
and
TimeInterval
例
TimeInterval
and
小時
12 and
Day
飾面
TimeInterval
and
TimeInterval
(=>
(
instance
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17311-17317
例
Process
and
到達
Process
例
Process
and
易位
子過程
Process
and
Process
飾面
何時
Process
and
何時
Process
(=>
(
instance
?D
Divorcing
)
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
holdsDuring
?T2
(
not
(
spouse
?P1 ?P2)))
(
finishes
?T1 ?D)
(
starts
?T2 ?D))))
Mid-level-ontology.kif 1025-1034
例
TimeInterval
and
離婚
entity
entity
,
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
entity
是
entity
的
spouse
持有期間
TimeInterval
and
entity
是
entity
的
spouse
飾面
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
例
TimeInterval
and
一天的時間
TimeInterval
TimeInterval
例
TimeInterval
and
日出
例
TimeInterval
and
日落
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8456-8463
例
TimeInterval
and
經常性時間間隔
TimeInterval
and
TimeInterval
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
例
TimePosition
and
TimeInterval
飾面
不久的過去
TimePosition
and
過去
TimePosition
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8807-8813
例
TimeInterval
and
早上
TimeInterval
Day
例
TimeInterval
and
小時
12 and
Day
飾面
TimeInterval
and
TimeInterval
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
例
TimeInterval
and
穆哈爾薩達克
AutonomousAgent
Entity
,
TimeInterval
and
TimeInterval
agent
TimeInterval
and
AutonomousAgent
起源
TimeInterval
and
AutonomousAgent
目的地
TimeInterval
and
Entity
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
飾面
TimeInterval
and
TimeInterval
之前
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
例
TimeInterval
and
穆卡達姆薩達克
AutonomousAgent
Entity
,
TimeInterval
and
TimeInterval
agent
TimeInterval
and
AutonomousAgent
起源
TimeInterval
and
AutonomousAgent
目的地
TimeInterval
and
Entity
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
飾面
TimeInterval
and
TimeInterval
之前
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1970-1978
TimeInterval
例
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
何時
JesusOfNazareth
啟動
TimeInterval
and
何時
TwelveApostles
entity
持有期間
TimeInterval
and
會員
entity
and
TwelveApostles
持有期間
TimeInterval
and
entity
是
JesusOfNazareth
的
friend
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