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
时间分拆函数
的 1 数量 是
时距
的
instance
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9374-9374
时间分拆函数
的 2 数量 是
时距
的
subclass
(
instance
TemporalCompositionFn
BinaryFunction
)
Merge.kif 9371-9371
时间分拆函数
是
二元函数
的
instance
(
instance
TemporalCompositionFn
TemporalRelation
)
Merge.kif 9370-9370
时间分拆函数
是
时间关系
的
instance
(
instance
TemporalCompositionFn
TotalValuedRelation
)
Merge.kif 9372-9372
时间分拆函数
是
总值关系
的
instance
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9375-9375
时间分拆函数
的所得值 是
时距
的
subclass
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
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 有存在
第四 时距
这样
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第四 时距
finishes
了才到
那个 时距
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 有存在
第四 时距
这样
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第四 时距
starts
了才到
那个 时距
(=>
(
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
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
时间位置
如果
那个 时间位置
是
时点
的
instance
和
那个 时间位置
时段 是
那个 时距
时段 的一
part
,
然后 有存在
另一个 时间位置
这样
那个 另外 时间位置
是
第三 有点 时距
的
instance
和
那个 时间位置
时段 是
那个 另外 时间位置
时段 的一
part
(=>
(
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
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
第四 时距
和
第五 时距
如果
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第五 时距
是
那个 第三 有点 时距
的
instance
和
那个 第四 时距
不
equal
那个 第五 时距
,
然后
那个 第四 时距
接着
那个 第五 时距
或
那个 第五 时距
接着
那个 第四 时距
或
那个 第四 时距
比
那个 第五 时距
发生的
earlier
或
那个 第五 时距
比
那个 第四 时距
发生的
earlier
(=>
(
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
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
第四 时距
和
第五 时距
如果
那个 第四 时距
是
那个 时距
TYPE 的
instance
和
那个 第五 时距
是
第三 有点 时距
的
instance
,
然后 有存在
持续时间
这样
那个 第四 时距
的
duration
是
那个 持续时间
和
那个 第五 时距
的
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
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
第四 时距
如果
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第四 时距
不
finishes
了才到
那个 时距
,
然后 有存在
第五 时距
这样
那个 第五 时距
是
那个 第三 有点 时距
的
instance
和
那个 第四 时距
接着
那个 第五 时距
(=>
(
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
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
第四 时距
如果
那个 第四 时距
是
第三 有点 时距
的
instance
和
那个 第四 时距
不
starts
了才到
那个 时距
,
然后 有存在
第五 时距
这样
那个 第五 时距
是
那个 第三 有点 时距
的
instance
和
那个 第五 时距
接着
那个 第四 时距
consequent
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9463-9467
如果
时距
是
月
的
instance
和
那个 时距
的
duration
是
整数
一天长度
,
然后 分拆
那个 时距
为 的
日
instance
的数量
equal
那个 整数
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9473-9475
如果
时距
是
日
的
instance
,
然后 分拆
那个 时距
为 的
小时
instance
的数量
equal
24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9477-9479
如果
时距
是
小时
的
instance
,
然后 分拆
那个 时距
为 的
分钟
instance
的数量
equal
60
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9481-9483
如果
时距
是
分钟
的
instance
,
然后 分拆
那个 时距
为 的
秒钟
instance
的数量
equal
60
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9469-9471
如果
时距
是
星期
的
instance
,
然后 分拆
那个 时距
为 的
日
instance
的数量
equal
7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9459-9461
如果
时距
是
年
的
instance
,
然后 分拆
那个 时距
为 的
月
instance
的数量
equal
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