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 9376-9381
(
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 9373-9373
The number 1 argument of
temporal composition
is an
instance
of
time interval
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9374-9374
The number 2 argument of
temporal composition
is a
subclass
of
time interval
(
instance
TemporalCompositionFn
BinaryFunction
)
Merge.kif 9371-9371
Temporal composition
is an
instance
of
binary function
(
instance
TemporalCompositionFn
TemporalRelation
)
Merge.kif 9370-9370
Temporal composition
is an
instance
of
temporal relation
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9372-9372
Temporal composition
is an
instance
of
total valued relation
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9375-9375
The values returned by
temporal composition
are
subclasses
of
time interval
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 9416-9421
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then there exists
a third time interval
such that
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
finish
es
the time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then there exists
a third time interval
such that
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
start
s
the time interval
(=>
(
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 9447-9457
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a time position
if
the time position
is an
instance
of
time point
and
the time position
is a
part
of
the time interval
,
then there exists
another time position
such that
the other time position
is an
instance
of
another kind of time interval
and
the time position
is a
part
of
the other time position
(=>
(
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 9395-9407
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
and
a fourth time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the fourth time interval
is an
instance
of
the other kind of time interval
and
the third time interval
is not
equal
to
the fourth time interval
,
then
the third time interval
meet
s
the fourth time interval
or
the fourth time interval
meet
s
the third time interval
or
the third time interval
happens
earlier
than
the fourth time interval
or
the fourth time interval
happens
earlier
than
the third time interval
(=>
(
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 9383-9393
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
and
a fourth time interval
if
the third time interval
is an
instance
of
the time interval
TYPE and
the fourth time interval
is an
instance
of
another kind of time interval
,
then there exists
a time duration
such that
duration
of
the third time interval
is
the time duration
and
duration
of
the fourth time interval
is
the time duration
(=>
(
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 9423-9433
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
doesn't
finish
the time interval
,
then there exists
a fourth time interval
such that
the fourth time interval
is an
instance
of
the other kind of time interval
and
the third time interval
meet
s
the fourth time interval
(=>
(
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
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
doesn't
start
the time interval
,
then there exists
a fourth time interval
such that
the fourth time interval
is an
instance
of
the other kind of time interval
and
the fourth time interval
meet
s
the third time interval
consequent
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9463-9467
If
a time interval
is an
instance
of
month
and
duration
of
the time interval
is
an integer
day duration
(s),
then the number of
instances
in
decomposition
of
the time interval
into
day
s is
equal
to
the integer
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9473-9475
If
a time interval
is an
instance
of
day
,
then the number of
instances
in
decomposition
of
the time interval
into
hour
s is
equal
to 24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9477-9479
If
a time interval
is an
instance
of
hour
,
then the number of
instances
in
decomposition
of
the time interval
into
minute
s is
equal
to 60
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9481-9483
If
a time interval
is an
instance
of
minute
,
then the number of
instances
in
decomposition
of
the time interval
into
second
s is
equal
to 60
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9469-9471
If
a time interval
is an
instance
of
week
,
then the number of
instances
in
decomposition
of
the time interval
into
day
s is
equal
to 7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9459-9461
If
a time interval
is an
instance
of
year
,
then the number of
instances
in
decomposition
of
the time interval
into
month
s is
equal
to 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