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
QuarterFn
Sigma KEE - QuarterFn
QuarterFn
appearance as argument number 1
(
documentation
QuarterFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Year
to the
Quart
er within each
Year
corresponding to that
PositiveRealNumber
. For example, (
QuarterFn
4 (
YearFn
1999)) is the singular
Class
of the last
QuarterYear
of the
Year
1999.")
Merge.kif 8972-8975
(
documentation
QuarterFn
JapaneseLanguage
"
BinaryFunction
は、
PositiveRealNumber
および その
PositiveRealNumber
に対応する各
Year
内の %Quarter に対する
Year
のサブクラス。例え ば、(
QuarterFn
4 (
YearFn
1999)) は、
Year
1999の最後の
QuarterYear
の単数形
Class
である。")
japanese_format.kif 1525-1528
(
domain
QuarterFn
1
PositiveInteger
)
Merge.kif 8968-8968
Die Zahl 1 Argument von
QuarterFn
ist ein
fall
von
PositiveInteger
%n{nicht}
(
domainSubclass
QuarterFn
2
Year
)
Merge.kif 8969-8969
Die Zahl 2 Argument von
QuarterFn
ist eine
teilkategorie
von
Year
%n{nicht}
(
instance
QuarterFn
BinaryFunction
)
Merge.kif 8966-8966
QuarterFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
QuarterFn
PartialValuedRelation
)
Merge.kif 8967-8967
QuarterFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
QuarterFn
TemporalRelation
)
Merge.kif 8965-8965
QuarterFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
rangeSubclass
QuarterFn
QuarterYear
)
Merge.kif 8970-8970
Die werte die
QuarterFn
zurueckgibt sind
teilkategorien
von
QuarterYear
appearance as argument number 2
(
format
ChineseLanguage
QuarterFn
"号码 %1 %2 的
quarter
")
domainEnglishFormat.kif 4318-4318
(
format
ChineseTraditionalLanguage
QuarterFn
"號碼 %1 %2 的
quarter
")
domainEnglishFormat.kif 4317-4317
(
format
EnglishLanguage
QuarterFn
"the number %1
quarter
of %2")
domainEnglishFormat.kif 4316-4316
(
termFormat
EnglishLanguage
QuarterFn
"quarter fn")
domainEnglishFormat.kif 65372-65372
antecedent
(=>
(
and
(
instance
?Q
QuarterYear
)
(
instance
?Q
(
QuarterFn
?N
(
YearFn
?Y)))
(
instance
?YI
(
YearFn
?Y)))
(
during
?Q ?YI))
Merge.kif 8980-8985
Wenn
TimeInterval
ist ein
fall
von
QuarterYear
%n{nicht} und
** TimeInterval
ist ein
fall
von
QuarterFn
PositiveInteger
and das
jahr
Integer
%n{nicht} und
** Integer
I ist ein
fall
von das
jahr
** Integer
%n{nicht},
dann
** TimeInterval
geschieht
waehrend
** Integer
I %n{nicht}
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