| Article(article)
| |
| appearance as argument number 1 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 16049-16049 | Article est disjoint de livre |
| (documentation Article EnglishLanguage "A relatively short Text that either is unbound or is bound with other Articles in a Book.") | Mid-level-ontology.kif 16050-16051 | Article est disjoint de livre |
| (externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") | pictureList.kif 2642-2642 | Article est disjoint de livre |
| (subclass Article Text) | Mid-level-ontology.kif 16048-16048 | Article est une sous-classe de texte |
| appearance as argument number 2 |
|
|
| (subclass Chapter Article) | Mid-level-ontology.kif 16064-16064 | Chapter est une sous-classe de article |
| (subclass Report Article) | Mid-level-ontology.kif 16145-16145 | Report est une sous-classe de article |
| (subclass ShortStory Article) | Mid-level-ontology.kif 16303-16303 | ShortStory est une sous-classe de article |
| (termFormat ChineseLanguage Article "文章") | chinese_format.kif 1044-1044 | ShortStory est une sous-classe de article |
| (termFormat EnglishLanguage Article "article") | english_format.kif 1299-1299 | ShortStory est une sous-classe de article |
| (termFormat FrenchLanguage Article "article") | french_format.kif 722-722 | ShortStory est une sous-classe de article |
| (termFormat Hindi Article "anychchhaeda") | terms-hindi.txt 253-253 | ShortStory est une sous-classe de article |
| (termFormat ItalianLanguage Article "Articolo") | terms-it.txt 256-256 | ShortStory est une sous-classe de article |
| (termFormat JapaneseLanguage Article "記事") | japanese_format.kif 2406-2406 | ShortStory est une sous-classe de article |
| (termFormat PortugueseLanguage Article "Artigo") | portuguese_format.kif 674-674 | ShortStory est une sous-classe de article |
| (termFormat cb Article "panudlo") | terms-cb.txt 258-258 | ShortStory est une sous-classe de article |
| (termFormat cz Article "article") | terms-cz.txt 292-292 | ShortStory est une sous-classe de article |
| (termFormat de Article "Artikel") | terms-de.txt 551-551 | ShortStory est une sous-classe de article |
| (termFormat ro Article "articol") | relations-ro.kif 743-743 | ShortStory est une sous-classe de article |
| (termFormat tg Article "Artikulo, Lathala") | terms-tg.txt 257-257 | ShortStory est une sous-classe de 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 16053-16062 |
|
| consequent |
|
|
|
|
|