Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Article
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
-------------------------


(disjoint Article Book) Mid-level-ontology.kif 14678-14678 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 14679-14680
(externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") pictureList.kif 2643-2643
(subclass Article Text) Mid-level-ontology.kif 14677-14677 Article is a subclass of text

appearance as argument number 2
-------------------------


(subclass Chapter Article) Mid-level-ontology.kif 14693-14693 Chapter is a subclass of article
(subclass Report Article) Mid-level-ontology.kif 14772-14772 Report is a subclass of article
(subclass ShortStory Article) Mid-level-ontology.kif 14930-14930 Short story is a subclass of article
(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 14682-14691

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 14682-14691
(=>
    (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 21089-21101


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners