Article - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Article Text)	Mid-level-ontology.kif 16199-16199	Article is a subclass of text
(disjoint Article Book)	Mid-level-ontology.kif 16200-16200	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 16201-16202	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

appearance as argument number 2

(subclass Chapter Article)	Mid-level-ontology.kif 16215-16215	Chapter is a subclass of article
(subclass Report Article)	Mid-level-ontology.kif 16296-16296	Report is a subclass of article
(subclass ShortStory Article)	Mid-level-ontology.kif 16455-16455	Short story is a subclass of article
(termFormat EnglishLanguage Article "article")	english_format.kif 1299-1299	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))))

If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z

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 16204-16213	If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z
(=> (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 23397-23409	If art critic is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of art work (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of article (6) X is the author of W (7) Z includes a reference to Y