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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Series
Series(series)
Congressional_Record, Hansard, book_of_knowledge, canon, cliffhanger, series, soap_opera, tetralogy, シリーズ, 系列

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


(documentation Series EnglishLanguage "A Text consisting of multiple self-contained units. Some examples are an encyclopedia containing a couple dozen volumes, a television series made up of many episodes, a film serial, etc.") Mid-level-ontology.kif 12391-12393
(externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") pictureList.kif 2929-2929 "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg" is a URL depicting series
(externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian-encyclopedia.jpg") pictureList.kif 2931-2931 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian-encyclopedia.jpg" is a URL depicting series
(externalImage Series "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg") pictureList.kif 2930-2930 "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg" is a URL depicting series
(externalImage Series "http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg") pictureList.kif 2734-2734 "http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg" is a URL depicting series
(subclass Series Text) Mid-level-ontology.kif 12390-12390 Series is a subclass of text

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


(subclass BroadcastProgram Series) Mid-level-ontology.kif 12335-12335 Broadcast program is a subclass of series
(subclass Periodical Series) Mid-level-ontology.kif 12418-12418 Periodical is a subclass of series
(termFormat ChineseLanguage Series "系列") chinese_format.kif 1042-1042 "系列" is the printable form of series in ChineseLanguage
(termFormat EnglishLanguage Series "series") english_format.kif 1829-1829 "series" is the printable form of series in english language
(termFormat JapaneseLanguage Series "シリーズ") english_format.kif 1830-1830 "シリーズ" is the printable form of series in japanese language

appearance as argument number 3
-------------------------


(domainSubclass SeriesVolumeFn 1 Series) Mid-level-ontology.kif 12362-12362 The number 1 argument of series volume is a subclass of series

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


(=>
    (instance ?SERIES Series)
    (exists (?BOOK1 ?BOOK2)
        (and
            (instance ?BOOK1 Book)
            (instance ?BOOK2 Book)
            (subsumesContentInstance ?SERIES ?BOOK1)
            (subsumesContentInstance ?SERIES ?BOOK2)
            (not
                (equal ?BOOK1 ?BOOK2)))))
Mid-level-ontology.kif 12395-12403


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