Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 8545-8552
(
domain
MinuteFn
1
NonnegativeInteger
)
Merge.kif 8541-8541
(
domainSubclass
MinuteFn
2
Hour
)
Merge.kif 8542-8542
(
instance
MinuteFn
BinaryFunction
)
Merge.kif 8539-8539
(
instance
MinuteFn
PartialValuedRelation
)
Merge.kif 8540-8540
(
instance
MinuteFn
TemporalRelation
)
Merge.kif 8538-8538
(
rangeSubclass
MinuteFn
Minute
)
Merge.kif 8543-8543
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
(
relatedInternalConcept
Minute
MinuteFn
)
Merge.kif 9249-9249
(
termFormat
ChineseLanguage
MinuteFn
"分")
domainEnglishFormat.kif 37944-37944
(
termFormat
ChineseLanguage
MinuteFn
"分函数")
chinese_format.kif 474-474
(
termFormat
ChineseTraditionalLanguage
MinuteFn
"分")
domainEnglishFormat.kif 37943-37943
(
termFormat
EnglishLanguage
MinuteFn
"minute")
domainEnglishFormat.kif 37942-37942
antecedent
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8558-8563
(=>
(
instance
?MINUTE
(
MinuteFn
?NUMBER ?HOUR))
(
lessThan
?NUMBER 60))
Merge.kif 8554-8556
statement
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2148-2148
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