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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?CONTENT)
        (and
            (subsumesContentInstance ?TEXT ?CONTENT)
            (instance ?CONTENT Formula)
            (not
                (believes ?AGENT ?CONTENT)))))
Merge.kif 14312-14321
(subclass FictionalText Text) Merge.kif 14290-14290
(subclass ShortStory FictionalText) Mid-level-ontology.kif 12659-12659
(subclass MysteryStory FictionalText) Mid-level-ontology.kif 12664-12664
(subclass Novel FictionalText) Mid-level-ontology.kif 12675-12675
(subclass DramaticPlay FictionalText) Mid-level-ontology.kif 12680-12680


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