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

Formal Language: 


Term 1: Term 2:

(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15553-15560
(subclass FactualText Text) Merge.kif 15534-15534 Factual text is a subclass of text
(subclass WeatherForecast FactualText) Weather.kif 4035-4035 Weather forecast is a subclass of factual text
(subclass Announcement FactualText) Mid-level-ontology.kif 15890-15890 Announcement is a subclass of factual text
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 15906-15906 Performance program is a subclass of factual text
(subclass Documentary FactualText) Mid-level-ontology.kif 15955-15955 Documentary is a subclass of factual text
(subclass Message FactualText) Mid-level-ontology.kif 16140-16140 Message is a subclass of factual text
(subclass Report FactualText) Mid-level-ontology.kif 16144-16144 Report is a subclass of factual text
(subclass Letter FactualText) Mid-level-ontology.kif 16177-16177 Letter is a subclass of factual text
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 16256-16256 Historical account is a subclass of factual text
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 16287-16287 Reference book is a subclass of factual text
(subclass Electrocardiogram FactualText) Medicine.kif 3463-3463 Electrocardiogram is a subclass of factual text
(subclass PartyPlatform FactualText) Government.kif 2280-2280 Party platform is a subclass of factual text


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