| Article
| |
| appearance as argument number 1 |
|
|
| (disjoint Article Book) | Mid-level-ontology.kif 14896-14896 | |
| (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 | |
| (externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") | pictureList.kif 2642-2642 | |
| (subclass Article Text) | Mid-level-ontology.kif 14895-14895 |
| appearance as argument number 2 |
|
|
| (subclass Chapter Article) | Mid-level-ontology.kif 14911-14911 | |
| (subclass Report Article) | Mid-level-ontology.kif 14990-14990 | |
| (subclass ShortStory Article) | Mid-level-ontology.kif 15148-15148 | |
| (termFormat ChineseLanguage Article "文章") | chinese_format.kif 1044-1044 | |
| (termFormat EnglishLanguage Article "article") | english_format.kif 1299-1299 | |
| (termFormat FrenchLanguage Article "article") | french_format.kif 722-722 | |
| (termFormat Hindi Article "anychchhaeda") | terms-hindi.txt 253-253 | |
| (termFormat ItalianLanguage Article "Articolo") | terms-it.txt 256-256 | |
| (termFormat JapaneseLanguage Article "記事") | japanese_format.kif 2406-2406 | |
| (termFormat PortugueseLanguage Article "Artigo") | portuguese_format.kif 674-674 | |
| (termFormat cb Article "panudlo") | terms-cb.txt 258-258 | |
| (termFormat cz Article "article") | terms-cz.txt 292-292 | |
| (termFormat ro Article "articol") | relations-ro.kif 743-743 | |
| (termFormat tg Article "Artikulo, Lathala") | terms-tg.txt 257-257 |
| 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 |
|
|
| (=> (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 | |
| (=> (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 21347-21359 |
|
|
|