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 記事テキストsubclass では %n
(subclass Chapter Article) Mid-level-ontology.kif 14693-14693 Chapter記事subclass では %n
(subclass Report Article) Mid-level-ontology.kif 14772-14772 Report記事subclass では %n
(subclass ShortStory Article) Mid-level-ontology.kif 14930-14930 ShortStory記事subclass では %n


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