| Article
| |
| appearance as argument number 1 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 12447-12447 | disjoint Article and 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 12448-12449 | |
| (externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") | pictureList.kif 2644-2644 | |
| (subclass Article Text) | Mid-level-ontology.kif 12446-12446 | subclass Article and Text |
| appearance as argument number 2 |
|
|
| (subclass Chapter Article) | Mid-level-ontology.kif 12462-12462 | subclass Chapter and Article |
| (subclass Report Article) | Mid-level-ontology.kif 12541-12541 | subclass Report and Article |
| (subclass ShortStory Article) | Mid-level-ontology.kif 12658-12658 | subclass ShortStory and Article |
| (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 12451-12460 |
|
| 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 12451-12460 |
|
|
|
|