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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SeriesVolumeFn
SeriesVolumeFn

appearance as argument number 1
-------------------------


(documentation SeriesVolumeFn EnglishLanguage "A BinaryFunction that maps a type of Series (e.g. the Encyclopedia_Britannica or the Popular_Mechanics periodical) and a number to the volumes of the text type designated by the number.") Mid-level-ontology.kif 12389-12391
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 12387-12387 系列编号函数 的 2 数量 是 正整数instance
(domainSubclass SeriesVolumeFn 1 Series) Mid-level-ontology.kif 12386-12386 系列编号函数 的 1 数量 是 系列subclass
(instance SeriesVolumeFn BinaryFunction) Mid-level-ontology.kif 12384-12384 系列编号函数二元函数instance
(instance SeriesVolumeFn PartialValuedRelation) Mid-level-ontology.kif 12385-12385 系列编号函数部分值关系instance
(rangeSubclass SeriesVolumeFn Text) Mid-level-ontology.kif 12388-12388 系列编号函数 的所得值 是 文本subclass

appearance as argument number 2
-------------------------


(format ChineseLanguage SeriesVolumeFn "系列%1的第%2卷") chinese_format.kif 561-561
(format EnglishLanguage SeriesVolumeFn "volume %2 in the series %1") english_format.kif 569-569
(termFormat ChineseLanguage SeriesVolumeFn "系列卷") domainEnglishFormat.kif 52109-52109
(termFormat ChineseLanguage SeriesVolumeFn "系列编号函数") chinese_format.kif 562-562
(termFormat ChineseTraditionalLanguage SeriesVolumeFn "系列卷") domainEnglishFormat.kif 52108-52108
(termFormat EnglishLanguage SeriesVolumeFn "series volume") domainEnglishFormat.kif 52107-52107

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


(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (equal ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 12375-12382
(=>
    (and
        (subclass ?TEXT Periodical)
        (equal
            (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)
        (equal
            (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?VOLUME1)
        (instance ?CBO2 ?VOLUME2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))
Mid-level-ontology.kif 12393-12407
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))
Mid-level-ontology.kif 12409-12411


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