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 14692-14694
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 14690-14690 Il numero 2 argomenti di PeriodicalIssueFn è un istanza di NumeroInteroPositivo
(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 14689-14689 Il numero 1 argomento PeriodicalIssueFn è una sottoclasse diPeriodico
(instance PeriodicalIssueFn BinaryFunction) Mid-level-ontology.kif 14687-14687 PeriodicalIssueFn è un' istanza di FunzioneBinaria
(instance PeriodicalIssueFn PartialValuedRelation) Mid-level-ontology.kif 14688-14688 PeriodicalIssueFn è un' istanza di RelazioneAValoreParziale
(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 14691-14691 I valori resi da PeriodicalIssueFn sono sottoclassi diPeriodico

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 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