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
starts
の数値 1 引数は
時間間隔
の
instance
では %n
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
starts
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
starts
は
非反射関係
の
instance
では %n
(
instance
starts
TemporalRelation
)
Merge.kif 8033-8033
starts
は
時間関係
の
instance
では %n
(
instance
starts
TotalValuedRelation
)
Merge.kif 8036-8036
starts
は
合計値関係
の
instance
では %n
(
instance
starts
TransitiveRelation
)
Merge.kif 8034-8034
starts
は
推移関係
の
instance
では %n
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
starts
は
temporalPart
の
subrelation
では %n
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
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
AscensionThursday
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 40 の
DayDuration
(s) では %n
(=>
(
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
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
PalmSunday
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 8 の
DayDuration
(s) では %n
(=>
(
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
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
Pentecost
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 50 の
DayDuration
(s) では %n
(=>
(
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
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
StartupBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8044-8052
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
の
beginning
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
end
の
before
に happens %n{ない}
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
FOKOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
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
IOCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
時間間隔
の
beginning
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
end
の
before
に happens %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
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
時間間隔
は
FiscalYearStartingFn
AutonomousAgent
and
年
と
equal
では %n
fiscalYearPeriod
AutonomousAgent
and
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
時間位置
時間間隔
は
日
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間位置
は
年
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
(=>
(
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
工程
は
Ambulating
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
工程
工程
工程
は
Stepping
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
時間間隔
を
start
s %n{ない}
工程
の
time
の existence は
時間間隔
を
finish
es %n{ない}
工程
は
工程
と
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
工程
は
Blushing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
時間間隔
,
エンティティー
and
エンティティー
エンティティー
は
感情状態
の
instance
では %n
エンティティー
は
感情状態
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
の
time
の existence は
時間間隔
を
start
s %n{ない}
工程
の
time
の existence は
時間間隔
を
finish
es %n{ない}
(=>
(
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
工程
は
FallingAsleep
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
時間間隔
時間間隔
は
工程
の
time
の existence を
start
s %n{ない}
時間間隔
は
工程
の
time
の existence を
finish
es %n{ない}
起きている
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
眠っている
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
時間間隔
は
BeginningOperations
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
の
time
の existence を
start
s %n{ない}
(=>
(
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
工程
は
Translocation
の
instance
では %n
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence を
start
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence を
finish
es %n{ない}
(=>
(
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
工程
は
WakingUp
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
時間間隔
時間間隔
は
工程
の
time
の existence を
start
s %n{ない}
時間間隔
は
工程
の
time
の existence を
finish
es %n{ない}
眠っている
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
起きている
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
時間間隔
を の
時間間隔
TYPEs に
decomposition
は
時間間隔
と
equal
では %n
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
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
時間間隔
を の
時間間隔
TYPEs に
decomposition
は
時間間隔
と
equal
では %n
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
を
start
ない
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8795-8801
時間間隔
は
Afternoon
の
instance
では %n
時間間隔
日
時間間隔
は 12
hour
目 の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
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
時間間隔
は
AnteMeridiem
の
instance
では %n
日
時間間隔
and
時間間隔
時間間隔
は 24
hour
目 の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は 12
hour
目 の
instance
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
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
時間間隔
は
Divorcing
の
instance
では %n
エンティティー
エンティティー
,
時間間隔
and
時間間隔
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
時間間隔
は
DayTime
の
instance
では %n
時間間隔
時間間隔
時間間隔
は
Sunrise
の
instance
では %n
時間間隔
は
Sunset
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
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
時間間隔
は the
recurring
period
from
時間間隔
to
時間間隔
の
instance
では %n
時間間隔
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
時間位置
は
時間間隔
の
instance
では %n
時間位置
の すぐ
after
は
時間位置
の
after
を
start
s %n{ない}
(=>
(
instance
?LEAVE
Leaving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?LEAVE ?GO)
(
starts
(
WhenFn
?LEAVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17300-17306
工程
は
Leaving
の
instance
では %n
工程
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
工程
の
time
の existence を
start
s %n{ない}
(=>
(
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
時間間隔
は
MuakharSadaq
の
instance
では %n
AutonomousAgent
エンティティー
,
時間間隔
and
時間間隔
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
から
originate
s %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
holds %n{ない}
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
hold ない
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
の
before
に happens %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
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
時間間隔
は
MuqaddamSadaq
の
instance
では %n
AutonomousAgent
エンティティー
,
時間間隔
and
時間間隔
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
から
originate
s %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
hold ない
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
の
before
に happens %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
時間間隔
は
NightTime
の
instance
では %n
時間間隔
時間間隔
時間間隔
は
Sunrise
の
instance
では %n
時間間隔
は
Sunset
の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
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
時間間隔
は
PostMeridiem
の
instance
では %n
日
時間間隔
and
時間間隔
時間間隔
は 12
hour
目 の
instance
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は 24
hour
目 の
instance
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 424-429
物理
は
StartFn
工程
の
instance
では %n
物理
物理
は
工程
の
instance
では %n
物理
の
time
の existence は
物理
の
time
の existence を
start
s %n{ない}
(=>
(
instance
?SS
SportServe
)
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
subProcess
?SS ?S)
(
starts
(
WhenFn
?SS)
(
WhenFn
?S)))))
Mid-level-ontology.kif 17070-17076
工程
は
SportServe
の
instance
では %n
工程
工程
は
スポーツ
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
工程
の
time
の existence を
start
s %n{ない}
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
では %n
時間間隔
は
JesusOfNazareth
の
time
の existence を
finish
es %n{ない}
時間間隔
は
TwelveApostles
の
time
の existence を
start
s %n{ない}
エンティティー
エンティティー
は
TwelveApostles
の
member
では %n は
時間間隔
の
during
holds %n{ない}
friend
エンティティー
and
JesusOfNazareth
は
時間間隔
の
during
holds %n{ない}
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