Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeriodicalIssueFn

 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 14133-14135
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 14131-14131
(domainSubclass PeriodicalIssueFn 1 Periodical) Mid-level-ontology.kif 14130-14130
(instance PeriodicalIssueFn BinaryFunction) Mid-level-ontology.kif 14128-14128
(instance PeriodicalIssueFn PartialValuedRelation) Mid-level-ontology.kif 14129-14129
(rangeSubclass PeriodicalIssueFn Periodical) Mid-level-ontology.kif 14132-14132

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
(termFormat ChineseLanguage PeriodicalIssueFn "定期发行") domainEnglishFormat.kif 45175-45175
(termFormat ChineseLanguage PeriodicalIssueFn "期刊编号函数") chinese_format.kif 564-564
(termFormat ChineseTraditionalLanguage PeriodicalIssueFn "定期發行") domainEnglishFormat.kif 45174-45174
(termFormat EnglishLanguage PeriodicalIssueFn "periodical issue") domainEnglishFormat.kif 45173-45173

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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