| 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