Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16036-16038
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 16034-16034 PeriodicalIssueFn の数値 2 引数は 正の整数instance では
(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 16033-16033 PeriodicalIssueFn の数値 1 引数は 周期的subclass では
(instance PeriodicalIssueFn BinaryFunction) Mid-level-ontology.kif 16031-16031 PeriodicalIssueFn2変数関数instance では
(instance PeriodicalIssueFn PartialValuedRelation) Mid-level-ontology.kif 16032-16032 PeriodicalIssueFn部分的価値関係instance では
(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 16035-16035 PeriodicalIssueFn が返す値は 周期的subclasses では

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
(termFormat de PeriodicalIssueFn "PeriodikumAusgabeFn") terms-de.txt 224-224

antecedent
-------------------------


(=>
    (equal
        (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE)
    (subsumesContentClass ?PERIODICAL ?ISSUE))
Mid-level-ontology.kif 16040-16042


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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