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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Article
Article

appearance as argument number 1
-------------------------


(disjoint Article Book) Mid-level-ontology.kif 12447-12447 disjoint Article and 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 12448-12449
(externalImage Article "http://upload.wikimedia.org/wikipedia/commons/c/ cd/ Churchill_article.jpg") pictureList.kif 2644-2644
(subclass Article Text) Mid-level-ontology.kif 12446-12446 subclass Article and Text

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


(subclass Chapter Article) Mid-level-ontology.kif 12462-12462 subclass Chapter and Article
(subclass Report Article) Mid-level-ontology.kif 12541-12541 subclass Report and Article
(subclass ShortStory Article) Mid-level-ontology.kif 12658-12658 subclass ShortStory and Article
(termFormat ChineseLanguage Article "文章") chinese_format.kif 1044-1044
(termFormat EnglishLanguage Article "article") english_format.kif 1304-1304

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 12451-12460

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 12451-12460


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