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
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9396-9396
(
instance
TemporalCompositionFn
BinaryFunction
)
Merge.kif 9393-9393
(
instance
TemporalCompositionFn
TemporalRelation
)
Merge.kif 9392-9392
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9394-9394
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9397-9397
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
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9431-9436
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
consequent
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9485-9489
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9495-9497
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9499-9501
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9503-9505
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9491-9493
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9481-9483
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