| 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 12434-12436 | |
| (domain PeriodicalIssueFn 2 PositiveInteger) | Mid-level-ontology.kif 12432-12432 | domain PeriodicalIssueFn, 2 and PositiveInteger |
| (domainSubclass PeriodicalIssueFn 1 Periodical) | Mid-level-ontology.kif 12431-12431 | domainSubclass PeriodicalIssueFn, 1 and Periodical |
| (instance PeriodicalIssueFn BinaryFunction) | Mid-level-ontology.kif 12429-12429 | instance PeriodicalIssueFn and BinaryFunction |
| (instance PeriodicalIssueFn PartialValuedRelation) | Mid-level-ontology.kif 12430-12430 | instance PeriodicalIssueFn and PartialValuedRelation |
| (rangeSubclass PeriodicalIssueFn Periodical) | Mid-level-ontology.kif 12433-12433 | 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 45112-45112 | |
| (termFormat ChineseLanguage PeriodicalIssueFn "期刊编号函数") | chinese_format.kif 564-564 | |
| (termFormat ChineseTraditionalLanguage PeriodicalIssueFn "定期發行") | domainEnglishFormat.kif 45111-45111 | |
| (termFormat EnglishLanguage PeriodicalIssueFn "periodical issue") | domainEnglishFormat.kif 45110-45110 |
| antecedent |
|
|
| (=> (equal (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE) (subsumesContentClass ?PERIODICAL ?ISSUE)) |
Mid-level-ontology.kif 12438-12440 |
|
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