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 15370-15377
(subclass FactualText Text) Merge.kif 15351-15351 Factual text is a subclass of text
(subclass Announcement FactualText) Mid-level-ontology.kif 14490-14490 Announcement is a subclass of factual text
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14506-14506 Performance program is a subclass of factual text
(subclass Documentary FactualText) Mid-level-ontology.kif 14555-14555 Documentary is a subclass of factual text
(subclass Message FactualText) Mid-level-ontology.kif 14738-14738 Message is a subclass of factual text
(subclass Report FactualText) Mid-level-ontology.kif 14742-14742 Report is a subclass of factual text
(subclass Letter FactualText) Mid-level-ontology.kif 14775-14775 Letter is a subclass of factual text
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14854-14854 Historical account is a subclass of factual text
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14885-14885 Reference book is a subclass of factual text
(subclass Electrocardiogram FactualText) Medicine.kif 3460-3460 Electrocardiogram is a subclass of factual text
(subclass PartyPlatform FactualText) Government.kif 2319-2319 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