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
meetsTemporally
の数値 1 引数は
時間間隔
の
instance
では %n
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
meetsTemporally
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8323-8323
meetsTemporally
は
非対称関係
の
instance
では %n
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8321-8321
meetsTemporally
は
2進述語
の
instance
では %n
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8324-8324
meetsTemporally
は
非推移関係
の
instance
では %n
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8322-8322
meetsTemporally
は
時間関係
の
instance
では %n
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
meetsTemporally
は
合計値関係
の
instance
では %n
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
では %n
時間間隔
は
月曜日
の
instance
では %n
時間間隔
は
週
の
instance
では %n
時間間隔
は
週
の
instance
では %n
時間間隔
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
工程
は
DrawingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
ProcessingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
工程
Time は
時間間隔
に
meet
s %n{ない}
時間間隔
は
工程
Time に
meet
s %n{ない}
時間間隔
の
duration
は
実数
の
MonthDuration
(s) では %n
実数
は 6 より
less
では %n
(=>
(
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
では %n
時間間隔
は
Lent
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
では %n
時間間隔
は
Lent
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
時間間隔
は
12月
month
目 の
instance
では %n
時間間隔
は
1月
month
目 の
instance
では %n
時間間隔
は
年
の
instance
では %n
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
では %n
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
では %n
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
では %n
時間間隔
は
ChristmasDay
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
では %n は
時間間隔
の
during
hold ない
Concussion
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
ステートメント
無意識
は
エンティティー
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
startupTimeDelay
コンピュータープログラム
and
時間分
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
物理
は
ComputerProcess
の
instance
では %n
物理
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
の
duration
は
時間分
では %n
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8333-8337
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
の
end
は
時間間隔
の
beginning
と
equal
では %n
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間位置
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間間隔
の
part
では %n
時間位置
は
時間間隔
の
part
では %n
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
では %n
オブジェクト
は
Table
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
AutonomousAgent
は
エンティティー
と
equal
では
エンティティー
は
GroupOfPeople
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s %n{ない}
オブジェクト
は
オブジェクト
2 と
equal
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
Larval
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
出生
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
工程
は
Dodging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
T は
工程
の
time
の existence と
equal
では %n
工程
は
エンティティー
工程
T は
エンティティー
の
time
の existence に
meet
s %n{ない}
エンティティー
の
time
の existence は
工程
T と
overlap
s %n{dない}
エンティティー
は
衝撃
の
instance
では %n
AutonomousAgent
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
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
では %n
時間間隔
は
正の整数
day
目 の
instance
では %n (
正の整数
+
正の整数
) は 1 と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
時間間隔
は
金曜日
の
instance
では %n
時間間隔
は
土曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
時間間隔
は
月曜日
の
instance
では %n
時間間隔
は
火曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
時間間隔
は
土曜日
の
instance
では %n
時間間隔
は
日曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
では %n
時間間隔
は
月曜日
の
instance
では %n
時間間隔
は
週
の
instance
では %n
時間間隔
は
週
の
instance
では %n
時間間隔
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
時間間隔
は
木曜日
の
instance
では %n
時間間隔
は
金曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
時間間隔
は
火曜日
の
instance
では %n
時間間隔
は
水曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
時間間隔
は
水曜日
の
instance
では %n
時間間隔
は
木曜日
の
instance
では %n
時間位置
は
週
の
instance
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
工程
は
Discovering
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
物理
物理
は
追求
の
instance
では %n
物理
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
(=>
(
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
工程
は
Downtick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
(=>
(
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
工程
は
Escaping
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
閉じ込め
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
(=>
(
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
では %n
時間間隔
は
Afternoon
の
instance
では %n
時間間隔
は
日
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
時間間隔
and
工程
工程
は
放射光
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
工程
は
放射光
の
instance
では %n
工程
の
time
の existence は
時間間隔
に
meet
s %n{ない}
時間間隔
は
工程
の
time
の existence に
meet
s %n{ない}
時間間隔
時間間隔
は
放射光
の
instance
では %n
時間間隔
は
オブジェクト
から
originate
s %n{ない}
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
では %n
時間間隔
は
非負整数
hour
目 の
instance
では %n (
非負整数
+
非負整数
) は 1 と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
では %n
時間間隔
は
非負整数
minute
目 の
instance
では %n (
非負整数
+
非負整数
) は 1 と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9108-9112
時間間隔
は
4月
month
目 の
instance
では %n
時間間隔
は
5月
month
目 の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9164-9168
時間間隔
は
8月
month
目 の
instance
では %n
時間間隔
は
9月
month
目 の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
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
時間間隔
は
12月
month
目 の
instance
では %n
時間間隔
は
1月
month
目 の
instance
では %n
時間間隔
は
年
の
instance
では %n
時間間隔
は
年
の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9080-9084
時間間隔
は
2月
month
目 の
instance
では %n
時間間隔
は
3月
month
目 の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9056-9060
時間間隔
は
1月
month
目 の
instance
では %n
時間間隔
は
2月
month
目 の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9150-9154
時間間隔
は
7月
month
目 の
instance
では %n
時間間隔
は
8月
month
目 の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9136-9140
時間間隔
は
6月
month
目 の
instance
では %n
時間間隔
は
7月
month
目 の
instance
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
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