Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 8627-8634
(
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 8623-8623
Le nombre 1 argument de
MinuteFn
est une
instance
de
nombre entier non n�gatif
(
domainSubclass
MinuteFn
2
Hour
)
Merge.kif 8624-8624
Le nombre 2 argument de
MinuteFn
est une
sous
-classe de
heure
(
instance
MinuteFn
BinaryFunction
)
Merge.kif 8621-8621
MinuteFn
est une
instance
de
fonction binaire
(
instance
MinuteFn
PartialValuedRelation
)
Merge.kif 8622-8622
MinuteFn
est une
instance
de
relation partielle
(
instance
MinuteFn
TemporalRelation
)
Merge.kif 8620-8620
MinuteFn
est une
instance
de
relation temporel
(
rangeSubclass
MinuteFn
Minute
)
Merge.kif 8625-8625
Les valeurs retourn�es par
MinuteFn
sont des
sous
-classes de
minute
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 9335-9335
Minute
est
reli
� � l'int�rieur de SUMO �
MinuteFn
(
termFormat
ChineseLanguage
MinuteFn
"分")
domainEnglishFormat.kif 37970-37970
(
termFormat
ChineseLanguage
MinuteFn
"分函数")
chinese_format.kif 474-474
(
termFormat
ChineseTraditionalLanguage
MinuteFn
"分")
domainEnglishFormat.kif 37969-37969
(
termFormat
EnglishLanguage
MinuteFn
"minute")
domainEnglishFormat.kif 37968-37968
(
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 8640-8645
Interval temporel
est une
instance
de la
minute
nombre entier non n�gatif
interval temporel
est une
instance
de la
minute
nombre entier non n�gatif
(
nombre entier non n�gatif
+
nombre entier non n�gatif
) est
interval temporel
rencontre
interval temporel
(=>
(
instance
?MINUTE
(
MinuteFn
?NUMBER ?HOUR))
(
lessThan
?NUMBER 60))
Merge.kif 8636-8638
Entit�
est une
instance
de la
minute
nombre entier non n�gatif
nombre entier non n�gatif
est
moins
que 60
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
UnixEpoch
est
seconde
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