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 9412-9417
(
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 9409-9409
Die Zahl 1 Argument von
TemporalCompositionFn
ist ein
fall
von
TimeInterval
%n{nicht}
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9410-9410
Die Zahl 2 Argument von
TemporalCompositionFn
ist eine
teilkategorie
von
TimeInterval
%n{nicht}
(
instance
TemporalCompositionFn
BinaryFunction
)
Merge.kif 9407-9407
TemporalCompositionFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
TemporalCompositionFn
TemporalRelation
)
Merge.kif 9406-9406
TemporalCompositionFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9408-9408
TemporalCompositionFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9411-9411
Die werte die
TemporalCompositionFn
zurueckgibt sind
teilkategorien
von
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 57436-57436
(
termFormat
ChineseTraditionalLanguage
TemporalCompositionFn
"時間構成")
domainEnglishFormat.kif 57435-57435
(
termFormat
EnglishLanguage
TemporalCompositionFn
"temporal composition")
domainEnglishFormat.kif 57434-57434
antecedent
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9452-9457
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9445-9450
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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 9483-9493
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
TimePosition
wenn
** TimePosition
ist ein
fall
von
TimePoint
%n{nicht} und
** TimePosition
ist ein
teil
von
** TimeInterval
%n{nicht},
dann es gibt
** TimePosition
um
** ** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** TimePosition
ist ein
teil
von
** ** TimePosition
%n{nicht}
(=>
(
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 9431-9443
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
** TimeInterval
und
** TimeInterval
wenn
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
** ** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist gleich
** ** TimeInterval
nicht,
dann
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an oder
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an oder
** ** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht} oder
** ** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht}
(=>
(
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 9419-9429
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
** TimeInterval
und
** TimeInterval
wenn
** ** TimeInterval
ist ein
fall
von
** TimeInterval
TYPE %n{nicht} und
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht},
dann es gibt
TimeDuration
um
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht} und
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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 9459-9469
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
** TimeInterval
wenn
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
nicht,
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
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 9471-9481
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
** TimeInterval
wenn
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
nicht,
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
consequent
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9499-9503
Wenn
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
dauer
von
** TimeInterval
ist
Integer
DayDuration
(s) %n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Day
s ist gleich
** Integer
%n{nicht}
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9509-9511
Wenn
TimeInterval
ist ein
fall
von
Day
%n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Hour
s ist gleich 24 %n{nicht}
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9513-9515
Wenn
TimeInterval
ist ein
fall
von
Hour
%n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Minute
s ist gleich 60 %n{nicht}
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9517-9519
Wenn
TimeInterval
ist ein
fall
von
Minute
%n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Second
s ist gleich 60 %n{nicht}
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9505-9507
Wenn
TimeInterval
ist ein
fall
von
Week
%n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Day
s ist gleich 7 %n{nicht}
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9495-9497
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Month
s ist gleich 12 %n{nicht}
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