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 14692-14694
(
domain
PeriodicalIssueFn
2
PositiveInteger
)
Mid-level-ontology.kif 14690-14690
(
domainSubclass
PeriodicalIssueFn
1
Periodical
)
Mid-level-ontology.kif 14689-14689
(
instance
PeriodicalIssueFn
BinaryFunction
)
Mid-level-ontology.kif 14687-14687
(
instance
PeriodicalIssueFn
PartialValuedRelation
)
Mid-level-ontology.kif 14688-14688
(
rangeSubclass
PeriodicalIssueFn
Periodical
)
Mid-level-ontology.kif 14691-14691
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 45194-45194
(
termFormat
ChineseLanguage
PeriodicalIssueFn
"期刊编号函数")
chinese_format.kif 564-564
(
termFormat
ChineseTraditionalLanguage
PeriodicalIssueFn
"定期發行")
domainEnglishFormat.kif 45193-45193
(
termFormat
EnglishLanguage
PeriodicalIssueFn
"periodical issue")
domainEnglishFormat.kif 45192-45192
antecedent
(=>
(
equal
(
PeriodicalIssueFn
?PERIODICAL ?NUMBER) ?ISSUE)
(
subsumesContentClass
?PERIODICAL ?ISSUE))
Mid-level-ontology.kif 14696-14698
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