| Article(article)
| | agony_column, column, composition, dictionary_entry, editorial, essay, feature, feature_article, lead, lead_story, lexical_entry, magazine_article, news_article, news_story, newspaper_article, newspaper_column, offprint, paper, personal, report, reprint, separate, sidebar, term_paper, thanatopsis, theme |
| appearance as argument number 1 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 14896-14896 | Article is disjoint from book |
| (documentation Article EnglishLanguage "A relatively short Text that either is unbound or is bound with other Articles in a Book.") | Mid-level-ontology.kif 14897-14898 | Article is disjoint from book |
| (externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") | pictureList.kif 2643-2643 | Article is disjoint from book |
| (subclass Article Text) | Mid-level-ontology.kif 14895-14895 | Article is a subclass of text |
| appearance as argument number 2 |
|
|
| (subclass Chapter Article) | Mid-level-ontology.kif 14911-14911 | Chapter is a subclass of article |
| (subclass Report Article) | Mid-level-ontology.kif 14990-14990 | Report is a subclass of article |
| (subclass ShortStory Article) | Mid-level-ontology.kif 15148-15148 | Short story is a subclass of article |
| (termFormat ChineseLanguage Article "文章") | chinese_format.kif 1044-1044 | Short story is a subclass of article |
| (termFormat EnglishLanguage Article "article") | english_format.kif 1299-1299 | Short story is a subclass of article |
| (termFormat FrenchLanguage Article "article") | french_format.kif 722-722 | Short story is a subclass of article |
| (termFormat Hindi Article "anychchhaeda") | terms-hindi.txt 253-253 | Short story is a subclass of article |
| (termFormat ItalianLanguage Article "Articolo") | terms-it.txt 256-256 | Short story is a subclass of article |
| (termFormat JapaneseLanguage Article "記事") | japanese_format.kif 2406-2406 | Short story is a subclass of article |
| (termFormat PortugueseLanguage Article "Artigo") | portuguese_format.kif 674-674 | Short story is a subclass of article |
| (termFormat cb Article "panudlo") | terms-cb.txt 258-258 | Short story is a subclass of article |
| (termFormat cz Article "article") | terms-cz.txt 292-292 | Short story is a subclass of article |
| (termFormat ro Article "articol") | relations-ro.kif 743-743 | Short story is a subclass of article |
| (termFormat tg Article "Artikulo, Lathala") | terms-tg.txt 257-257 | Short story is a subclass of article |
| antecedent |
|
|
| (=> (and (instance ?ARTICLE1 Article) (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?ARTICLE1)) (exists (?ARTICLE2) (and (instance ?ARTICLE2 Article) (not (equal ?ARTICLE2 ?ARTICLE1)) (subsumesContentInstance ?BOOK ?ARTICLE2)))) |
Mid-level-ontology.kif 14900-14909 |
|
| consequent |
|
|
|
|
|