| Series
| |
| 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 2927-2927 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian-encyclopedia.jpg") | pictureList.kif 2929-2929 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg") | pictureList.kif 2928-2928 | |
| (externalImage Series "http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg") | pictureList.kif 2732-2732 | |
| (subclass Series Text) | Mid-level-ontology.kif 14863-14863 |
| appearance as argument number 2 |
|
|
| (subclass BroadcastProgram Series) | Mid-level-ontology.kif 14806-14806 | |
| (subclass Periodical Series) | Mid-level-ontology.kif 14891-14891 | |
| (termFormat ChineseLanguage Series "系列") | chinese_format.kif 1042-1042 | |
| (termFormat EnglishLanguage Series "series") | english_format.kif 1295-1295 | |
| (termFormat FrenchLanguage Series "series") | french_format.kif 720-720 | |
| (termFormat Hindi Series "shQnkhalaa") | terms-hindi.txt 251-251 | |
| (termFormat ItalianLanguage Series "Serie") | terms-it.txt 254-254 | |
| (termFormat JapaneseLanguage Series "シリーズ") | japanese_format.kif 2404-2404 | |
| (termFormat PortugueseLanguage Series "Serie") | portuguese_format.kif 672-672 | |
| (termFormat cb Series "sumpay-sumpay") | terms-cb.txt 256-256 | |
| (termFormat cz Series "series") | terms-cz.txt 290-290 | |
| (termFormat ro Series "serie") | relations-ro.kif 741-741 | |
| (termFormat tg Series "Serye") | terms-tg.txt 255-255 |
| appearance as argument number 3 |
|
|
| (domainSubclass SeriesVolumeFn 1 Series) | Mid-level-ontology.kif 14835-14835 |
| 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 |
|
|
|