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
WeekFn
Maldives
Sigma KEE - WeekFn
WeekFn
appearance as argument number 1
(
documentation
WeekFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Year
to the
Week
within each
Year
corresponding to that
PositiveRealNumber
. For example, (
WeekFn
4 (
YearFn
1999)) is the singular
Class
of all fourth
Week
s of the
Year
1999.")
Merge.kif 8954-8957
(
documentation
WeekFn
JapaneseLanguage
"
BinaryFunction
は、
PositiveRealNumber
と
Year
のサブクラスを、その
PositiveRealNumber
に対応する各
Year
内の
Week
に割り当てる。例えば、 (
WeekFn
4 (
YearFn
1999)) は、
Year
1999の全第4
Week
の単数
Class
である。")
japanese_format.kif 1522-1524
(
domain
WeekFn
1
PositiveInteger
)
Merge.kif 8950-8950
Die Zahl 1 Argument von
WeekFn
ist ein
fall
von
PositiveInteger
%n{nicht}
(
domainSubclass
WeekFn
2
Year
)
Merge.kif 8951-8951
Die Zahl 2 Argument von
WeekFn
ist eine
teilkategorie
von
Year
%n{nicht}
(
instance
WeekFn
BinaryFunction
)
Merge.kif 8948-8948
WeekFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
WeekFn
PartialValuedRelation
)
Merge.kif 8949-8949
WeekFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
WeekFn
TemporalRelation
)
Merge.kif 8947-8947
WeekFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
rangeSubclass
WeekFn
Week
)
Merge.kif 8952-8952
Die werte die
WeekFn
zurueckgibt sind
teilkategorien
von
Week
appearance as argument number 2
(
format
ChineseLanguage
WeekFn
"week # %1 ")
domainEnglishFormat.kif 4982-4982
(
format
ChineseTraditionalLanguage
WeekFn
"week # %1 ")
domainEnglishFormat.kif 4981-4981
(
format
EnglishLanguage
WeekFn
"the week # %1")
domainEnglishFormat.kif 4980-4980
(
termFormat
EnglishLanguage
WeekFn
"week fn")
domainEnglishFormat.kif 65728-65728
antecedent
(=>
(
and
(
instance
?W
(
WeekFn
?N ?Y))
(
instance
?YI ?Y))
(
during
?W ?YI))
Merge.kif 8959-8963
Wenn
TimeInterval
ist ein
fall
von
WeekFn
PositiveInteger
and
** Year
%n{nicht} und
** Year
I ist ein
fall
von
** ** Year
%n{nicht},
dann
** TimeInterval
geschieht
waehrend
** ** Year
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