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
PeriodicalIssueFn
Sigma KEE - PeriodicalIssueFn
PeriodicalIssueFn
appearance as argument number 1
(
documentation
PeriodicalIssueFn
EnglishLanguage
"A
BinaryFunction
that maps a subclass of
Periodical
and a number to all of the issues of the
Periodical
corresponding to the number.")
Mid-level-ontology.kif 14664-14666
(
domain
PeriodicalIssueFn
2
PositiveInteger
)
Mid-level-ontology.kif 14662-14662
The number 2 argument of
periodical issue
is an
instance
of
positive integer
(
domainSubclass
PeriodicalIssueFn
1
Periodical
)
Mid-level-ontology.kif 14661-14661
The number 1 argument of
periodical issue
is a
subclass
of
periodical
(
instance
PeriodicalIssueFn
BinaryFunction
)
Mid-level-ontology.kif 14659-14659
Periodical issue
is an
instance
of
binary function
(
instance
PeriodicalIssueFn
PartialValuedRelation
)
Mid-level-ontology.kif 14660-14660
Periodical issue
is an
instance
of
partial valued relation
(
rangeSubclass
PeriodicalIssueFn
Periodical
)
Mid-level-ontology.kif 14663-14663
The values returned by
periodical issue
are
subclasses
of
periodical
appearance as argument number 2
(
format
ChineseLanguage
PeriodicalIssueFn
"periodical%1的编号是%2")
chinese_format.kif 563-563
(
format
EnglishLanguage
PeriodicalIssueFn
"the periodical number %2 of %1")
english_format.kif 568-568
(
format
FrenchLanguage
PeriodicalIssueFn
"le periodique num�ro %2 de %1")
french_format.kif 331-331
(
format
ItalianLanguage
PeriodicalIssueFn
"il numero periodico %2 di %1")
relations-it.txt 221-221
(
format
JapaneseLanguage
PeriodicalIssueFn
"periodical 数 %1 の %2")
japanese_format.kif 2095-2095
(
format
PortugueseLanguage
PeriodicalIssueFn
"o periodico numero %2 de %1")
portuguese_format.kif 283-283
(
format
de
PeriodicalIssueFn
"die Zahl von periodikum %2 von %1")
relations-de.txt 737-737
(
format
hi
PeriodicalIssueFn
"%1 kaa saavadhika anka %2")
relations-hindi.txt 259-259
(
format
ro
PeriodicalIssueFn
"numãrul %2 periodical%t{periodic} al lui %1")
relations-ro.kif 352-352
(
format
sv
PeriodicalIssueFn
"periodnumret %2 av %1")
relations-sv.txt 366-366
(
format
tg
PeriodicalIssueFn
"ang periodiko numero %2 ng %1")
relations-tg.txt 413-413
(
termFormat
ChineseLanguage
PeriodicalIssueFn
"定期发行")
domainEnglishFormat.kif 45192-45192
(
termFormat
ChineseLanguage
PeriodicalIssueFn
"期刊编号函数")
chinese_format.kif 564-564
(
termFormat
ChineseTraditionalLanguage
PeriodicalIssueFn
"定期發行")
domainEnglishFormat.kif 45191-45191
(
termFormat
EnglishLanguage
PeriodicalIssueFn
"periodical issue")
domainEnglishFormat.kif 45190-45190
antecedent
(=>
(
equal
(
PeriodicalIssueFn
?PERIODICAL ?NUMBER) ?ISSUE)
(
subsumesContentClass
?PERIODICAL ?ISSUE))
Mid-level-ontology.kif 14668-14670
If the
periodical
number
a positive integer
of
a kind of periodical
is
equal
to
another kind of periodical
,
then
a kind of periodical
subsume
s the content of
another kind of periodical
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