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 12409-12411
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 12407-12407 domain PeriodicalIssueFn, 2 and PositiveInteger
(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 12406-12406 domainSubclass PeriodicalIssueFn, 1 and Periodical
(instance PeriodicalIssueFn BinaryFunction) Mid-level-ontology.kif 12404-12404 instance PeriodicalIssueFn and BinaryFunction
(instance PeriodicalIssueFn PartialValuedRelation) Mid-level-ontology.kif 12405-12405 instance PeriodicalIssueFn and PartialValuedRelation
(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 12408-12408 rangeSubclass PeriodicalIssueFn and 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 571-571
(termFormat ChineseLanguage PeriodicalIssueFn "定期发行") domainEnglishFormat.kif 45091-45091
(termFormat ChineseLanguage PeriodicalIssueFn "期刊编号函数") chinese_format.kif 564-564
(termFormat ChineseTraditionalLanguage PeriodicalIssueFn "定期發行") domainEnglishFormat.kif 45090-45090
(termFormat EnglishLanguage PeriodicalIssueFn "periodical issue") domainEnglishFormat.kif 45089-45089

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners