Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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
(subclass Article Text) Mid-level-ontology.kif 14677-14677 子類 Article and Text
(subclass Chapter Article) Mid-level-ontology.kif 14693-14693 子類 章節 and Article
(subclass Report Article) Mid-level-ontology.kif 14772-14772 子類 報告 and Article
(subclass ShortStory Article) Mid-level-ontology.kif 14930-14930 子類 短篇故事 and Article


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