Article - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Chapter Article)	Mid-level-ontology.kif 14665-14665	Chapter is a subclass of article
(subclass Report Article)	Mid-level-ontology.kif 14744-14744	Report is a subclass of article
(subclass ShortStory Article)	Mid-level-ontology.kif 14902-14902	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 14654-14663

If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical,
then there exists a third content bearing physical such that the third content bearing physical is an instance of article and the third content bearing physical is not equal to the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical

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 14654-14663	If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical, then there exists a third content bearing physical such that the third content bearing physical is an instance of article and the third content bearing physical is not equal to the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical
(=> (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 21038-21050	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity

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

KB Term:			Term intersection

English Word: