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
MinuteFn
Sigma KEE - MinuteFn
MinuteFn
appearance as argument number 1
(
documentation
MinuteFn
ChineseLanguage
"这是一个
BinaryFunction
,它把一个
PositiveRealNumber
与一个与一个
Hour
的子类别,分配到每个
Hour
内对应那个
NonnegativeInteger
的
Minute
。例如:(
MinuteFn
30 (
HourFn
17
Day
))是所有下午5:30的
Class
。另外一个例子: (
MinuteFn
15
Hour
) 会得出所有每个小时十五分钟实例的类别。再例如: (
MinuteFn
15 (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912))))) 表示1912年八月十八日下午两点十五分钟。")
chinese_format.kif 2769-2774
(
documentation
MinuteFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Hour
s to the
Minute
s within each
Hour
corresponding to that
NonnegativeInteger
. For example, (
MinuteFn
30 (
HourFn
17
Day
)) is the
Class
of all 5:30's in the afternoon. For another example, (
MinuteFn
15
Hour
) would return the class of all instances of quarter past the hour. For still another example, (
MinuteFn
15 (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912.")
Merge.kif 8679-8686
(
documentation
MinuteFn
JapaneseLanguage
"
BinaryFunction
は、
PositiveRealNumber
と
Hour
のサブクラスを、その
NonnegativeInteger
に対応する各
Hour
内の
Minute
に割り当てる。例え ば、(
MinuteFn
30 (
HourFn
17
Day
)) は、午後の全5:30の
Class
である。別の例として、 (
MinuteFn
15
Hour
) は、1 時間を過ぎた四半期のすべてのインスタンスのクラスを返す。さらに別 の例として、(
MinuteFn
15 (
HourFn
14 (
DayFn
18 (
MonthFn
August
(
YearFn
1912))))) は、1912年8月18日の午後2時以降の15分後を示す。")
japanese_format.kif 1499-1504
(
domain
MinuteFn
1
NonnegativeInteger
)
Merge.kif 8675-8675
(
domainSubclass
MinuteFn
2
Hour
)
Merge.kif 8676-8676
(
instance
MinuteFn
BinaryFunction
)
Merge.kif 8673-8673
(
instance
MinuteFn
PartialValuedRelation
)
Merge.kif 8674-8674
(
instance
MinuteFn
TemporalRelation
)
Merge.kif 8672-8672
(
rangeSubclass
MinuteFn
Minute
)
Merge.kif 8677-8677
appearance as argument number 2
(
format
ChineseLanguage
MinuteFn
"%1 minute")
chinese_format.kif 473-473
(
format
EnglishLanguage
MinuteFn
"the minute %1")
english_format.kif 479-479
(
format
FrenchLanguage
MinuteFn
"la minute %1")
french_format.kif 273-273
(
format
ItalianLanguage
MinuteFn
"il minuto%1")
relations-it.txt 191-191
(
format
JapaneseLanguage
MinuteFn
"%1 minute 目")
japanese_format.kif 2063-2063
(
format
PortugueseLanguage
MinuteFn
"o minuto %1")
portuguese_format.kif 225-225
(
format
cz
MinuteFn
"%1 of %2")
relations-cz.txt 279-279
(
format
de
MinuteFn
"die minute %1")
relations-de.txt 616-616
(
format
hi
MinuteFn
"%1 kaa minaTa")
relations-hindi.txt 229-229
(
format
ro
MinuteFn
"minute%t{minutul} %1")
relations-ro.kif 294-294
(
format
sv
MinuteFn
"minuten %1")
relations-sv.txt 300-300
(
format
tg
MinuteFn
"ang minuto %1")
relations-tg.txt 368-368
(
relatedInternalConcept
Minute
MinuteFn
)
Merge.kif 9387-9387
(
termFormat
ChineseLanguage
MinuteFn
"分")
domainEnglishFormat.kif 37955-37955
(
termFormat
ChineseLanguage
MinuteFn
"分函数")
chinese_format.kif 474-474
(
termFormat
ChineseTraditionalLanguage
MinuteFn
"分")
domainEnglishFormat.kif 37954-37954
(
termFormat
EnglishLanguage
MinuteFn
"minute")
domainEnglishFormat.kif 37953-37953
(
termFormat
tg
MinuteFn
"tungkulin ng minuto")
relations-tg.txt 369-369
antecedent
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8692-8697
(=>
(
instance
?MINUTE
(
MinuteFn
?NUMBER ?HOUR))
(
lessThan
?NUMBER 60))
Merge.kif 8688-8690
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
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