| Article
| |
| appearance as argument number 1 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 11457-11457 | |
| (documentation Article EnglishLanguage "A relatively short Text that either is unbound or is bound with other Articles in a Book.") | Mid-level-ontology.kif 11458-11459 | |
| (externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") | pictureList.kif 2644-2644 | |
| (subclass Article Text) | Mid-level-ontology.kif 11456-11456 |
| appearance as argument number 2 |
|
|
| (subclass Chapter Article) | Mid-level-ontology.kif 11472-11472 | |
| (subclass Report Article) | Mid-level-ontology.kif 11551-11551 | |
| (subclass ShortStory Article) | Mid-level-ontology.kif 11669-11669 | |
| (termFormat ChineseLanguage Article "文章") | chinese_format.kif 1044-1044 | |
| (termFormat EnglishLanguage Article "article") | english_format.kif 1304-1304 |
| 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 11461-11470 |
| 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 11461-11470 |
|
|
|