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
TemporalCompositionFn
Sigma KEE - TemporalCompositionFn
TemporalCompositionFn
appearance as argument number 1
(
documentation
TemporalCompositionFn
ChineseLanguage
"这是表示以较小的
TimeInterval
组成较大的
TimeInterval
的基本
Function
。例如:如果 ThisSeptember 是
September
的一个
instance
, 那么(
TemporalCompositionFn
ThisSeptember
Day
)表示构成 ThisSeptember 内连续日数的
Class
。注:我们可以用函数
CardinalityFn
来得出这个
Class
实例的数目。")
chinese_format.kif 2819-2822
(
documentation
TemporalCompositionFn
EnglishLanguage
"The basic
Function
for expressing the composition of larger
TimeInterval
s out of smaller
TimeInterval
s. For example, if ThisSeptember is an
instance
of
September
, (
TemporalCompositionFn
ThisSeptember
Day
) denotes the
Class
of consecutive days that make up ThisSeptember. Note that one can obtain the number of instances of this
Class
by using the function
CardinalityFn
.")
Merge.kif 9398-9403
(
documentation
TemporalCompositionFn
JapaneseLanguage
"より小さい %TimeInterval から大きな %TimeInterval の組成を表現するための基本的な
Function
。例えば、ThisSeptember が
September
の
instance
である場合、(
TemporalCompositionFn
ThisSeptember
Day
) は ThisSeptember を構成する連続した日数の
Class
を示す。 注:関数
CardinalityFn
を使用して、この
Class
の インスタンス数を取得できる。")
japanese_format.kif 1560-1564
(
domain
TemporalCompositionFn
1
TimeInterval
)
Merge.kif 9395-9395
域
時間構成
, 1 and
TimeInterval
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9396-9396
域子類
時間構成
, 2 and
TimeInterval
(
instance
TemporalCompositionFn
BinaryFunction
)
Merge.kif 9393-9393
例
時間構成
and
BinaryFunction
(
instance
TemporalCompositionFn
TemporalRelation
)
Merge.kif 9392-9392
例
時間構成
and
TemporalRelation
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9394-9394
例
時間構成
and
TotalValuedRelation
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9397-9397
範圍子類
時間構成
and
TimeInterval
appearance as argument number 2
(
format
ChineseLanguage
TemporalCompositionFn
"分拆 %1 为 %3 的 %2")
chinese_format.kif 447-447
(
format
EnglishLanguage
TemporalCompositionFn
"
de
composition of %1 into %3 %2s")
english_format.kif 453-453
(
format
FrenchLanguage
TemporalCompositionFn
"
de
composition de %1 en %3 %2s")
french_format.kif 260-260
(
format
ItalianLanguage
TemporalCompositionFn
"
de
composizione di %1 in %3 %2s")
relations-it.txt 293-293
(
format
JapaneseLanguage
TemporalCompositionFn
"%1 を %3 の %2s に
de
composition")
japanese_format.kif 2050-2050
(
format
PortugueseLanguage
TemporalCompositionFn
"
de
composicao de %1 em %3 %2s")
portuguese_format.kif 212-212
(
format
cz
TemporalCompositionFn
"
de
composition of %1 into %3 %2s")
relations-cz.txt 266-266
(
format
de
TemporalCompositionFn
"Aufspaltung von %1 auf %3 %2s")
relations-de.txt 583-583
(
format
hi
TemporalCompositionFn
"%1 kaa %3 %2 men viyojana")
relations-hindi.txt 329-329
(
format
ro
TemporalCompositionFn
"
de
composition%t{descompunerea} lui %1 în %3 %2s")
relations-ro.kif 281-281
(
format
sv
TemporalCompositionFn
"
de
komposition av %1 till %3 %2s")
relations-sv.txt 286-286
(
termFormat
ChineseLanguage
TemporalCompositionFn
"时间分拆函数")
chinese_format.kif 448-448
(
termFormat
ChineseLanguage
TemporalCompositionFn
"时间构成")
domainEnglishFormat.kif 57434-57434
(
termFormat
ChineseTraditionalLanguage
TemporalCompositionFn
"時間構成")
domainEnglishFormat.kif 57433-57433
(
termFormat
EnglishLanguage
TemporalCompositionFn
"temporal composition")
domainEnglishFormat.kif 57432-57432
antecedent
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9438-9443
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9431-9436
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 9469-9479
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimePosition
例
TimePosition
and
TimePoint
時間部分
TimePosition
and
TimeInterval
TimePosition
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimePosition
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9417-9429
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
等於
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?INTERVALTYPE)
(
instance
?TIME2 ?CLASS))
(
exists
(?DURATION)
(
and
(
duration
?TIME1 ?DURATION)
(
duration
?TIME2 ?DURATION))))))
Merge.kif 9405-9415
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
TYPE
例
TimeInterval
and
TimeInterval
TimeDuration
持續時間
TimeInterval
and
TimeDuration
持續時間
TimeInterval
and
TimeDuration
(=>
(
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 9445-9455
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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 9457-9467
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
consequent
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9485-9489
例
TimeInterval
and
Month
持續時間
TimeInterval
and
測量
Integer
and
一天長度
等於
基數
時間構成
TimeInterval
and
Day
and
Integer
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9495-9497
例
TimeInterval
and
Day
等於
基數
時間構成
TimeInterval
and
Hour
and 24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9499-9501
例
TimeInterval
and
Hour
等於
基數
時間構成
TimeInterval
and
Minute
and 60
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9503-9505
例
TimeInterval
and
Minute
等於
基數
時間構成
TimeInterval
and
Second
and 60
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9491-9493
例
TimeInterval
and
Week
等於
基數
時間構成
TimeInterval
and
Day
and 7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9481-9483
例
TimeInterval
and
年
等於
基數
時間構成
TimeInterval
and
Month
and 12
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