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
Le nombre 1 argument de
TemporalCompositionFn
est une
instance
de
interval temporel
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9396-9396
Le nombre 2 argument de
TemporalCompositionFn
est une
sous
-classe de
interval temporel
(
instance
TemporalCompositionFn
BinaryFunction
)
Merge.kif 9393-9393
TemporalCompositionFn
est une
instance
de
fonction binaire
(
instance
TemporalCompositionFn
TemporalRelation
)
Merge.kif 9392-9392
TemporalCompositionFn
est une
instance
de
relation temporel
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9394-9394
TemporalCompositionFn
est une
instance
de
relation total
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9397-9397
Les valeurs retourn�es par
TemporalCompositionFn
sont des
sous
-classes de
interval temporel
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
finit
interval temporel
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9431-9436
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
commence
interval temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
position temporel
position temporel
est une
instance
de
point temporel
position temporel
est une
partie
de
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
position temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
est
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
TYPE
interval temporel
est une
instance
de
interval temporel
dur�e temporel
la
dur
�� de
interval temporel
est
dur�e temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
ne
finit
%n{pas}
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
ne
commence
%n{pas}
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
rencontre
interval temporel
consequent
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9485-9489
Interval temporel
est une
instance
de
mois
la
dur
�� de
interval temporel
est
nombre entier
DayDuration
(s)
le nombre d'
instances
dans
decomposition
de
interval temporel
en
jour
s est
nombre entier
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9495-9497
Interval temporel
est une
instance
de
jour
le nombre d'
instances
dans
decomposition
de
interval temporel
en
heure
s est &%�gal � 24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9499-9501
Interval temporel
est une
instance
de
heure
le nombre d'
instances
dans
decomposition
de
interval temporel
en
minute
s est &%�gal � 60
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9503-9505
Interval temporel
est une
instance
de
minute
le nombre d'
instances
dans
decomposition
de
interval temporel
en
seconde
s est &%�gal � 60
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9491-9493
Interval temporel
est une
instance
de
semaine
le nombre d'
instances
dans
decomposition
de
interval temporel
en
jour
s est &%�gal � 7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9481-9483
Interval temporel
est une
instance
de
ann�e
le nombre d'
instances
dans
decomposition
de
interval temporel
en
mois
s est &%�gal � 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