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
SecondFn
Sigma KEE - SecondFn
SecondFn
appearance as argument number 1
(
documentation
SecondFn
ChineseLanguage
"这是一个
BinaryFunction
,它把一个
PositiveRealNumber
与一个与一个 minute 的子类别,分配到每个 minute 内对应那个
PositiveRealNumber
的
second
。例如: (
SecondFn
4 (
MinuteFn
5
Hour
)) 是所有每小时五分四秒
Class
。另外一个例子:(
SecondFn
8
Minute
) 会得出所有每分钟八秒。再例如:(
SecondFn
9 (
MinuteFn
15 (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912))))))表示1912年八月十八日下午两点十五分九秒。")
chinese_format.kif 2775-2780
(
documentation
SecondFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Minute
s to the
Second
s within each
Minute
corresponding to that
PositiveRealNumber
. For example, (
SecondFn
4 (
MinuteFn
5
Hour
)) is the
Class
of all fourth
Second
s of every fifth
Minute
of every hour. For another example, (
SecondFn
8
Minute
) would return the eighth second of every minute. For still another example, (
SecondFn
9 (
MinuteFn
15 (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912.")
Merge.kif 8706-8713
(
documentation
SecondFn
JapaneseLanguage
"
BinaryFunction
は、
PositiveRealNumber
と
Minute
のサブクラスを、その
PositiveRealNumber
に対応する各
Minute
内の
Second
に割り 当てる。例えば、(
SecondFn
4 (
MinuteFn
5
Hour
)) とは、
Class
の 毎時間の毎5
Minute
時の毎全4
Second
である。別の例では、(
SecondFn
8
Minute
) は毎分8秒時を返す。さらに別の 例として、(
SecondFn
9 (
MinuteFn
15 (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912)))))) とは、1912年8月18日の午後2時以降9秒15分を示す。")
japanese_format.kif 1505-1510
(
domain
SecondFn
1
PositiveInteger
)
Merge.kif 8702-8702
秒函数
的 1 数量 是
正整数
的
instance
(
domainSubclass
SecondFn
2
Minute
)
Merge.kif 8703-8703
秒函数
的 2 数量 是
分钟
的
subclass
(
instance
SecondFn
BinaryFunction
)
Merge.kif 8700-8700
秒函数
是
二元函数
的
instance
(
instance
SecondFn
PartialValuedRelation
)
Merge.kif 8701-8701
秒函数
是
部分值关系
的
instance
(
instance
SecondFn
TemporalRelation
)
Merge.kif 8699-8699
秒函数
是
时间关系
的
instance
(
rangeSubclass
SecondFn
Second
)
Merge.kif 8704-8704
秒函数
的所得值 是
秒钟
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
SecondFn
"%1
second
")
chinese_format.kif 475-475
(
format
EnglishLanguage
SecondFn
"the
second
%1")
english_format.kif 481-481
(
format
FrenchLanguage
SecondFn
"la
second
e %1")
french_format.kif 274-274
(
format
ItalianLanguage
SecondFn
"il
second
o %1")
relations-it.txt 259-259
(
format
JapaneseLanguage
SecondFn
"%1
second
目")
japanese_format.kif 2064-2064
(
format
PortugueseLanguage
SecondFn
"o segundo %1")
portuguese_format.kif 226-226
(
format
cz
SecondFn
"%1 of %2")
relations-cz.txt 280-280
(
format
de
SecondFn
"die sekund %1")
relations-de.txt 618-618
(
format
hi
SecondFn
"%1 sekanda")
relations-hindi.txt 296-296
(
format
ro
SecondFn
"
second
%t{secunda} %1")
relations-ro.kif 295-295
(
format
sv
SecondFn
"sekunden %1")
relations-sv.txt 301-301
(
format
tg
SecondFn
"ang segundo %1")
relations-tg.txt 451-451
(
relatedInternalConcept
Second
SecondFn
)
Merge.kif 9398-9398
秒钟
和
秒函数
是 内部相关
(
termFormat
ChineseLanguage
SecondFn
"秒函数")
chinese_format.kif 476-476
(
termFormat
ChineseLanguage
SecondFn
"第二")
domainEnglishFormat.kif 51815-51815
(
termFormat
ChineseTraditionalLanguage
SecondFn
"第二")
domainEnglishFormat.kif 51814-51814
(
termFormat
EnglishLanguage
SecondFn
"second")
domainEnglishFormat.kif 51813-51813
antecedent
(=>
(
and
(
instance
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8719-8724
如果
时距
是
正整数
second
的
instance
和
另一个 时距
是
另一个 正整数
second
的
instance
和 (
那个 另外 正整数
和
那个 正整数
)
equal
1,
然后
那个 时距
接着
那个 另外 时距
(=>
(
instance
?SECOND
(
SecondFn
?NUMBER ?MINUTE))
(
lessThan
?NUMBER 60))
Merge.kif 8715-8717
如果
实体
是
正整数
second
的
instance
,
然后
那个 正整数
是
lessThan
60
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
Unix时代
equal
0
second
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