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, soap_opera, tetralogy

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


s__documentation(s__Series,s__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 13393-13395
s__externalImage(s__Series,'"http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg"')

pictureList.kif 2929-2929
s__externalImage(s__Series,'"http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian-encyclopedia.jpg"')

pictureList.kif 2931-2931
s__externalImage(s__Series,'"http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg"')

pictureList.kif 2930-2930
s__externalImage(s__Series,'"http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg"')

pictureList.kif 2734-2734
s__instance(s__Series,s__SetOrClass)

s__subclass(s__Series,s__Text)

s__instance(s__Text,s__SetOrClass)

Mid-level-ontology.kif 13392-13392 Series is a subclass of text

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


s__instance(s__Series,s__SetOrClass)

s__subclass(s__BroadcastProgram,s__Series)

s__instance(s__BroadcastProgram,s__SetOrClass)

Mid-level-ontology.kif 13337-13337 Broadcast program is a subclass of series
s__instance(s__Series,s__SetOrClass)

s__subclass(s__Periodical,s__Series)

s__instance(s__Periodical,s__SetOrClass)

Mid-level-ontology.kif 13420-13420 Periodical is a subclass of series
s__termFormat(s__ChineseLanguage,s__Series,'"系列"')

chinese_format.kif 1042-1042
s__termFormat(s__EnglishLanguage,s__Series,'"series"')

english_format.kif 1300-1300

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


s__domainSubclass(s__SeriesVolumeFn__m,n__1,s__Series)

Mid-level-ontology.kif 13364-13364 The number 1 argument of series volume is a subclass of series

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


( ! [V__SERIES] :
   ((s__instance(V__SERIES,s__Series) =>
       (( ? [V__BOOK1, V__BOOK2] :
           ((s__instance(V__BOOK1,s__Book) &
               s__instance(V__BOOK2,s__Book) &
               s__subsumesContentInstance(V__SERIES,V__BOOK1)
             &
             s__subsumesContentInstance(V__SERIES,V__BOOK2)
           &
           ~((V__BOOK1 = V__BOOK2)))))))
)
)

Mid-level-ontology.kif 13397-13405


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