Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Series
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Series Text) | Mid-level-ontology.kif 16250-16250 | Series is a subclass of text |
| (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 16251-16253 | Series is a subclass of text |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg") | pictureList.kif 2732-2732 | Series is a subclass of text |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg") | pictureList.kif 2927-2927 | Series is a subclass of text |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg") | pictureList.kif 2928-2928 | Series is a subclass of text |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian_encyclopedia.jpg") | pictureList.kif 2929-2929 | Series is a subclass of text |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass SeriesVolumeFn 1 Series) | Mid-level-ontology.kif 16222-16222 | 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 16255-16263 | If X is an instance of series, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of book (3) Z is an instance of book (4) X subsumes the content of Y (5) X subsumes the content of Z (6) equal Y (7) Z |
|
