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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeriesVolumeFn

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 12364-12366
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 12362-12362 The number 2 argument of series volume is an instance of positive integer
(domainSubclass SeriesVolumeFn 1 Series) Mid-level-ontology.kif 12361-12361 The number 1 argument of series volume is a subclass of series
(instance SeriesVolumeFn BinaryFunction) Mid-level-ontology.kif 12359-12359 Series volume is an instance of binary function
(instance SeriesVolumeFn PartialValuedRelation) Mid-level-ontology.kif 12360-12360 Series volume is an instance of partial valued relation
(rangeSubclass SeriesVolumeFn Text) Mid-level-ontology.kif 12363-12363 The values returned by series volume are subclasses of text

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 341-341
(termFormat ChineseLanguage SeriesVolumeFn "系列编号函数") chinese_format.kif 562-562 "系列编号函数" is the printable form of series volume in ChineseLanguage
(termFormat EnglishLanguage SeriesVolumeFn "series volume") domainEnglishFormat.kif 9122-9122 "series volume" is the printable form of series volume in english language

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


(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (equal ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 12350-12357
(=>
    (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 12368-12382
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))
Mid-level-ontology.kif 12384-12386


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners