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 12364-12366
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 12362-12362
(domainSubclass SeriesVolumeFn 1 Series) Mid-level-ontology.kif 12361-12361
(instance SeriesVolumeFn BinaryFunction) Mid-level-ontology.kif 12359-12359
(instance SeriesVolumeFn PartialValuedRelation) Mid-level-ontology.kif 12360-12360
(rangeSubclass SeriesVolumeFn Text) Mid-level-ontology.kif 12363-12363

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
(format FrenchLanguage SeriesVolumeFn "le volume %2 dans les s�ries %1") french_format.kif 330-330
(format ItalianLanguage SeriesVolumeFn "volume %2 nella serie %1") relations-it.txt 260-260
(format PortugueseLanguage SeriesVolumeFn "o volume %2 na serie %1") portuguese_format.kif 282-282
(format de SeriesVolumeFn "Band %2 in der reihe %1") relations-de.txt 734-734
(format hi SeriesVolumeFn "%1 ke shreNii men %2 khanda") relations-hindi.txt 297-297
(format tg SeriesVolumeFn "aklat %2 sa ang kawil %1") relations-tg.txt 452-452
(termFormat ChineseLanguage SeriesVolumeFn "系列编号函数") chinese_format.kif 562-562
(termFormat EnglishLanguage SeriesVolumeFn "series volume") domainEnglishFormat.kif 9122-9122

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 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