TreeView Knowledge Base Browser

appearance as argument number 1

(instance PeriodicalIssueFn BinaryFunction)	Mid-level-ontology.kif 16265-16265	Periodical issue is an instance of binary function
(instance PeriodicalIssueFn PartialValuedRelation)	Mid-level-ontology.kif 16266-16266	Periodical issue is an instance of partial valued relation
(domainSubclass PeriodicalIssueFn 1 Periodical)	Mid-level-ontology.kif 16267-16267	The number 1 argument of periodical issue is a subclass of periodical
(domain PeriodicalIssueFn 2 PositiveInteger)	Mid-level-ontology.kif 16268-16268	The number 2 argument of periodical issue is an instance of positive integer
(rangeSubclass PeriodicalIssueFn Periodical)	Mid-level-ontology.kif 16269-16269	The values returned by periodical issue are subclasses of periodical
(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 16270-16272	The values returned by periodical issue are subclasses of periodical

appearance as argument number 2

(termFormat EnglishLanguage PeriodicalIssueFn "periodical issue")	domainEnglishFormat.kif 45185-45185
(termFormat ChineseTraditionalLanguage PeriodicalIssueFn "定期發行")	domainEnglishFormat.kif 45186-45186
(termFormat ChineseLanguage PeriodicalIssueFn "定期发行")	domainEnglishFormat.kif 45187-45187
(format EnglishLanguage PeriodicalIssueFn "the periodical number %2 of %1")	english_format.kif 568-568

antecedent

(=>
    (equal
        (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE)
    (subsumesContentClass ?PERIODICAL ?ISSUE))

If equal the periodical number X of Y and Z, then Y subsumes the content of Z