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 8692-8699
(
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 8688-8688
The number 1 argument of
second
is an
instance
of
positive integer
(
domainSubclass
SecondFn
2
Minute
)
Merge.kif 8689-8689
The number 2 argument of
second
is a
subclass
of
minute
(
instance
SecondFn
BinaryFunction
)
Merge.kif 8686-8686
Second
is an
instance
of
binary function
(
instance
SecondFn
PartialValuedRelation
)
Merge.kif 8687-8687
Second
is an
instance
of
partial valued relation
(
instance
SecondFn
TemporalRelation
)
Merge.kif 8685-8685
Second
is an
instance
of
temporal relation
(
rangeSubclass
SecondFn
Second
)
Merge.kif 8690-8690
The values returned by
second
are
subclasses
of
second
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 9384-9384
Second
is
internally
related to
second
(
termFormat
ChineseLanguage
SecondFn
"秒函数")
chinese_format.kif 476-476
(
termFormat
ChineseLanguage
SecondFn
"第二")
domainEnglishFormat.kif 51813-51813
(
termFormat
ChineseTraditionalLanguage
SecondFn
"第二")
domainEnglishFormat.kif 51812-51812
(
termFormat
EnglishLanguage
SecondFn
"second")
domainEnglishFormat.kif 51811-51811
antecedent
(=>
(
and
(
instance
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8705-8710
If
a time interval
is an
instance
of the
second
a positive integer
and
another time interval
is an
instance
of the
second
another positive integer
and (
the other positive integer
and
the positive integer
) is
equal
to 1,
then
the time interval
meet
s
the other time interval
(=>
(
instance
?SECOND
(
SecondFn
?NUMBER ?MINUTE))
(
lessThan
?NUMBER 60))
Merge.kif 8701-8703
If
an entity
is an
instance
of the
second
a positive integer
,
then
the positive integer
is
less
than 60
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
Unix epoch
is
equal
to the
second
0
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