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 15606-15606 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 15607-15608 Article is disjoint from book
(externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") pictureList.kif 2642-2642 Article is disjoint from book
(subclass Article Text) Mid-level-ontology.kif 15605-15605 Article is a subclass of text

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


(subclass Chapter Article) Mid-level-ontology.kif 15621-15621 Chapter is a subclass of article
(subclass Report Article) Mid-level-ontology.kif 15700-15700 Report is a subclass of article
(subclass ShortStory Article) Mid-level-ontology.kif 15858-15858 Short story is a subclass of article
(termFormat ChineseLanguage Article "文章") chinese_format.kif 1044-1044 Short story is a subclass of article
(termFormat EnglishLanguage Article "article") english_format.kif 1299-1299 Short story is a subclass of article
(termFormat FrenchLanguage Article "article") french_format.kif 722-722 Short story is a subclass of article
(termFormat Hindi Article "anychchhaeda") terms-hindi.txt 253-253 Short story is a subclass of article
(termFormat ItalianLanguage Article "Articolo") terms-it.txt 256-256 Short story is a subclass of article
(termFormat JapaneseLanguage Article "記事") japanese_format.kif 2406-2406 Short story is a subclass of article
(termFormat PortugueseLanguage Article "Artigo") portuguese_format.kif 674-674 Short story is a subclass of article
(termFormat cb Article "panudlo") terms-cb.txt 258-258 Short story is a subclass of article
(termFormat cz Article "article") terms-cz.txt 292-292 Short story is a subclass of article
(termFormat de Article "Artikel") terms-de.txt 551-551 Short story is a subclass of article
(termFormat ro Article "articol") relations-ro.kif 743-743 Short story is a subclass of article
(termFormat tg Article "Artikulo, Lathala") terms-tg.txt 257-257 Short story is a subclass of 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 15610-15619

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 15610-15619
(=>
    (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 22178-22190


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