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
starts
Sigma KEE - starts
starts
appearance as argument number 1
(
documentation
starts
ChineseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是
TimeInterval
有共同的开始
TimePoint
,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。")
chinese_format.kif 2701-2703
(
documentation
starts
EnglishLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same initial
TimePoint
and that ?INTERVAL1 ends before ?INTERVAL2.")
Merge.kif 8040-8042
(
documentation
starts
JapaneseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期
TimePoint
を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")
japanese_format.kif 1424-1426
(
domain
starts
1
TimeInterval
)
Merge.kif 8037-8037
开始
的 1 数量 是
时距
的
instance
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
开始
的 2 数量 是
时距
的
instance
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
开始
是
非自反关系
的
instance
(
instance
starts
TemporalRelation
)
Merge.kif 8033-8033
开始
是
时间关系
的
instance
(
instance
starts
TotalValuedRelation
)
Merge.kif 8036-8036
开始
是
总值关系
的
instance
(
instance
starts
TransitiveRelation
)
Merge.kif 8034-8034
开始
是
传递关系
的
instance
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
开始
是
时间部分
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
starts
"%1 %n
starts
了才到 %2 ")
chinese_format.kif 419-419
(
format
EnglishLanguage
starts
"%1 %n{doesn't} start%p{s} %2")
english_format.kif 425-425
(
format
FrenchLanguage
starts
"%1 %n{ne} commence %n{pas} %2")
french_format.kif 244-244
(
format
ItalianLanguage
starts
"%1 %n{non} inizia%p{s} %2")
relations-it.txt 269-269
(
format
JapaneseLanguage
starts
"%1 は %2 を start%p{s} %n{ない}")
japanese_format.kif 2038-2038
(
format
PortugueseLanguage
starts
"%1 %n{nao} comeca em %n %2")
portuguese_format.kif 196-196
(
format
cz
starts
"%1 %n{doesn't} start%p{s} %2")
relations-cz.txt 249-249
(
format
de
starts
"%1 beginnt %2 %n{nicht}")
relations-de.txt 544-544
(
format
hi
starts
"%1 %2 ko %n{nahiin} praarambha karataa hai")
relations-hindi.txt 306-306
(
format
ro
starts
"%1 %n{nu} start%t{începe} %2")
relations-ro.kif 265-265
(
format
sv
starts
"%1 påbörjar %n{inte} %2")
relations-sv.txt 265-265
(
format
tg
starts
"%1 %n ay simula ng %2")
relations-tg.txt 461-461
(
termFormat
ChineseLanguage
starts
"启动")
domainEnglishFormat.kif 55074-55074
(
termFormat
ChineseLanguage
starts
"开始")
chinese_format.kif 420-420
(
termFormat
ChineseTraditionalLanguage
starts
"啟動")
domainEnglishFormat.kif 55073-55073
(
termFormat
EnglishLanguage
starts
"starts")
domainEnglishFormat.kif 55072-55072
antecedent
(=>
(
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
如果
时距
是
年
的
instance
和
另一个 时距
是
EasterSunday
的
instance
和
第三 时距
是
AscensionThursday
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 第三 时距
在
那个 时距
时段内发生 和
那个 另外 时距
starts
了才到
第四 时距
和
那个 第三 时距
finishes
了才到
那个 第四 时距
,
然后
那个 第四 时距
的
duration
是 40
一天长度
(=>
(
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
如果
时距
是
年
的
instance
和
另一个 时距
是
EasterSunday
的
instance
和
第三 时距
是
PalmSunday
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 第三 时距
在
那个 时距
时段内发生 和
那个 第三 时距
starts
了才到
第四 时距
和
那个 另外 时距
finishes
了才到
那个 第四 时距
,
然后
那个 第四 时距
的
duration
是 8
一天长度
(=>
(
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
如果
时距
是
年
的
instance
和
另一个 时距
是
EasterSunday
的
instance
和
第三 时距
是
Pentecost
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 第三 时距
在
那个 时距
时段内发生 和
那个 另外 时距
starts
了才到
第四 时距
和
那个 第三 时距
finishes
了才到
那个 第四 时距
,
然后
那个 第四 时距
的
duration
是 50
一天长度
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
启动块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
第三 时距
和
那个 电脑程序
出现 的
time
equal
那个 时距
和
那个 第三 时距
的结束
equal
那个 时距
的开始,
然后
那个 第三 时距
的
duration
是
那个 持续时间
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8044-8052
如果
时距
starts
了才到
另一个 时距
,
然后
那个 时距
的开始
equal
那个 另外 时距
的开始 和
那个 时距
的结束%n在
那个 另外 时距
的结束
before
发生
consequent
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
如果
FOK订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
那个 时距
或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
如果
国际奥委会订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
那个 时距
或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
如果
时距
的开始
equal
另一个 时距
的开始 和
那个 时距
的结束%n在
那个 另外 时距
的结束
before
发生,
然后
那个 时距
starts
了才到
那个 另外 时距
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
如果
时距
equal
施事体
和
有点 年
的
fiscal
开始年分 和
另一个 有点 时距
是
那个 施事体
的
fiscal
年周期 和
那个 时距
是
另一个 有点 时距
的
instance
,
然后 有存在
第三 时距
和
时间位置
这样
那个 第三 时距
是
日
的
instance
和
那个 第三 时距
starts
了才到
那个 时距
和
那个 时间位置
是
有点 年
的
instance
和
那个 第三 时距
时段 是
那个 时间位置
时段 的一
part
(=>
(
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
如果
过程
是
走动
的
instance
和
时距
equal
那个 过程
出现 的
time
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
步进
的
instance
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
出现 的
time
starts
了才到
那个 时距
和
那个 第三 过程
出现 的
time
finishes
了才到
那个 时距
和
那个 另外 过程
不
equal
那个 第三 过程
(=>
(
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
如果
过程
是
脸红
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
时距
,
另一个 时距
,, ,
实体
, and 和
另一个 实体
这样
那个 实体
是
情绪状态
的
instance
和
那个 另外 实体
是
情绪状态
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
那个 实体
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
attribute
在
那个 另外 时距
holdsDuring
和
那个 过程
出现 的
time
starts
了才到
那个 另外 时距
和
那个 过程
出现 的
time
finishes
了才到
那个 时距
(=>
(
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
如果
过程
是
沉沉睡去
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
时距
和
另一个 时距
这样
那个 时距
starts
了才到
那个 过程
出现 的
time
和
那个 另外 时距
finishes
了才到
那个 过程
出现 的
time
和
觉醒
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
睡着
是
那个 施事体
的
attribute
在
那个 另外 时距
holdsDuring
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
如果
时距
是
开始运营
的
instance
和
施事体
是
机构
的
instance
和
那个 施事体
是
那个 时距
的
agent
,
然后
那个 时距
starts
了才到
那个 施事体
出现 的
time
(=>
(
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
如果
过程
是
易位
的
instance
和
另一个 过程
是
易位
的
instance
和
客体
是
那个 过程
的源头 和
另一个 客体
是
那个 另外 过程
的源头 和
那个 过程
在
那个 另外 客体
结束 和
那个 另外 过程
在
实体
结束 和
施事体
经历了
那个 过程
和
那个 施事体
经历了
那个 另外 过程
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
易位
的
instance
和
那个 客体
是
那个 第三 过程
的源头 和
那个 第三 过程
在
那个 实体
结束 和
那个 过程
%n是
那个 第三 过程
的
subProcess
和
那个 另外 过程
%n是
那个 第三 过程
的
subProcess
和
那个 施事体
经历了
那个 第三 过程
和
那个 过程
出现 的
time
starts
了才到
那个 第三 过程
出现 的
time
和
那个 另外 过程
出现 的
time
finishes
了才到
那个 第三 过程
出现 的
time
(=>
(
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
如果
过程
是
起来
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
时距
和
另一个 时距
这样
那个 时距
starts
了才到
那个 过程
出现 的
time
和
那个 另外 时距
finishes
了才到
那个 过程
出现 的
time
和
睡着
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
觉醒
是
那个 施事体
的
attribute
在
那个 另外 时距
holdsDuring
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 有存在
第四 时距
这样
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第四 时距
starts
了才到
那个 时距
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9435-9445
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
第四 时距
如果
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第四 时距
不
starts
了才到
那个 时距
,
然后 有存在
第五 时距
这样
那个 第五 时距
是
那个 第三 有点 时距
的
instance
和
那个 第五 时距
接着
那个 第四 时距
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8795-8801
如果
时距
是
下午
的
instance
,
然后 有存在
另一个 时距
和
有点 日
这样
那个 另外 时距
是 12
hour
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
(=>
(
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
如果
时距
是
上午
的
instance
,
然后 有存在
有点 日
,
另一个 时距
, and 和
第三 时距
这样
那个 另外 时距
是 24
hour
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
是 12
hour
的
instance
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
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
如果
时距
是
离婚
的
instance
,
然后 有存在
实体
,
另一个 实体
,, ,
另一个 时距
, and 和
第三 时距
这样
那个 实体
是
那个 另外 实体
的
spouse
在
那个 另外 时距
holdsDuring
和 不
那个 实体
是
那个 另外 实体
的
spouse
在
那个 第三 时距
holdsDuring
和
那个 另外 时距
finishes
了才到
那个 时距
和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
如果
时距
是
一天的时间
的
instance
,
然后 有存在
另一个 时距
和
第三 时距
这样
那个 另外 时距
是
日出
的
instance
和
那个 第三 时距
是
日落
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
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
如果
时距
是 从
第四 有点 时距
到
第五 有点 时距
再次发生所需的时间 的
instance
,
然后 有存在
另一个 时距
和
第三 时距
这样
那个 另外 时距
是
第四 有点 时距
的
instance
和
那个 第三 时距
是
第五 有点 时距
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
如果
时间位置
是
时距
的
instance
,
然后 紧接
那个 时间位置
after
starts
了才到
那个 时间位置
之后
(=>
(
instance
?LEAVE
Leaving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?LEAVE ?GO)
(
starts
(
WhenFn
?LEAVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17300-17306
如果
过程
是
离开
的
instance
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
易位
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
出现 的
time
starts
了才到
那个 另外 过程
出现 的
time
(=>
(
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
如果
时距
是
穆哈尔萨达克
的
instance
,
然后 有存在
施事体
,
实体
,, ,
另一个 时距
, and 和
第三 时距
这样
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 时距
的源头 和
那个 时距
在
那个 实体
结束 和
那个 实体
是
那个 施事体
的
wife
在
那个 另外 时距
holdsDuring
和
那个 实体
是
那个 施事体
的
wife
doesn't 在
那个 第三 时距
holdsDuring
和
那个 另外 时距
finishes
了才到
那个 时距
和
那个 另外 时距
%n在
那个 第三 时距
before
发生 和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
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
如果
时距
是
穆卡达姆萨达克
的
instance
,
然后 有存在
施事体
,
实体
,, ,
另一个 时距
, and 和
第三 时距
这样
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 时距
的源头 和
那个 时距
在
那个 实体
结束 和
那个 实体
是
那个 施事体
的
wife
doesn't 在
那个 另外 时距
holdsDuring
和
那个 实体
是
那个 施事体
的
wife
在
那个 第三 时距
holdsDuring
和
那个 另外 时距
finishes
了才到
那个 时距
和
那个 另外 时距
%n在
那个 第三 时距
before
发生 和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
如果
时距
是
晚上的时间
的
instance
,
然后 有存在
另一个 时距
和
第三 时距
这样
那个 另外 时距
是
日出
的
instance
和
那个 第三 时距
是
日落
的
instance
和
那个 第三 时距
starts
了才到
那个 时距
和
那个 另外 时距
finishes
了才到
那个 时距
(=>
(
instance
?PM
PostMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
12 ?D))
(
starts
?HOUR1 ?PM)
(
instance
?HOUR2
(
HourFn
24 ?D))
(
finishes
?HOUR2 ?PM))))
Mid-level-ontology.kif 19109-19116
如果
时距
是
发布meridiem
的
instance
,
然后 有存在
有点 日
,
另一个 时距
, and 和
第三 时距
这样
那个 另外 时距
是 12
hour
的
instance
和
那个 另外 时距
starts
了才到
那个 时距
和
那个 第三 时距
是 24
hour
的
instance
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 424-429
如果
物理
是
过程
的
start
的
instance
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
那个 过程
的
instance
和
那个 物理
出现 的
time
starts
了才到
那个 另外 物理
出现 的
time
(=>
(
instance
?SS
SportServe
)
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
subProcess
?SS ?S)
(
starts
(
WhenFn
?SS)
(
WhenFn
?S)))))
Mid-level-ontology.kif 17070-17076
如果
过程
是
体育服务
的
instance
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
运动
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
出现 的
time
starts
了才到
那个 另外 过程
出现 的
time
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
有存在
时距
这样
那个 时距
是
时距
的
instance
和
那个 时距
finishes
了才到
JesusOfNazareth
出现 的
time
和
那个 时距
starts
了才到
TwelveApostles
出现 的
time
和 对所有
实体
如果
那个 实体
是
TwelveApostles
的
member
在
那个 时距
holdsDuring
,
然后
那个 实体
是
JesusOfNazareth
的
friend
在
那个 时距
holdsDuring
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