| Series(series)
| | Congressional_Record, Hansard, book_of_knowledge, canon, cliffhanger, 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 14864-14866 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") | pictureList.kif 2928-2928 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian-encyclopedia.jpg") | pictureList.kif 2930-2930 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg") | pictureList.kif 2929-2929 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg") | pictureList.kif 2733-2733 | |
| (subclass Series Text) | Mid-level-ontology.kif 14863-14863 | Series is a subclass of text |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass SeriesVolumeFn 1 Series) | Mid-level-ontology.kif 14835-14835 | 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 14868-14876 |
|
|
|
|