| 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 |
|
|
| (subclass Article Text) | Mid-level-ontology.kif 16176-16176 | Article is a subclass of text |
| (disjoint Article Book) | Mid-level-ontology.kif 16177-16177 | 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 16178-16179 | Article is disjoint from book |
| (externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") | pictureList.kif 2642-2642 | Article is disjoint from book |
| appearance as argument number 2 |
|
|
| 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 16181-16190 | If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z |
| consequent |
|
|
| (=> (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 16181-16190 | If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z |
| (=> (attribute ?H ArtCritic) (hasPurpose ?H (exists (?AW ?T ?CLASS) (and (instance ?AW ArtWork) (overlapsTemporally (WhenFn ?AW) (WhenFn ?H)) (instance ?T ?CLASS) (subclass ?CLASS Article) (authors ?H ?CLASS) (refers ?T ?AW))))) |
Mid-level-ontology.kif 23368-23380 | If art critic is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of art work (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of article (6) X is the author of W (7) Z includes a reference to Y |
|
|
|