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 15400-15407
(subclass FactualText Text) Merge.kif 15381-15381 FactualText est une sous-classe de texte
(subclass Announcement FactualText) Mid-level-ontology.kif 14519-14519 Announcement est une sous-classe de FactualText
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14535-14535 PerformanceProgram est une sous-classe de FactualText
(subclass Documentary FactualText) Mid-level-ontology.kif 14584-14584 Documentary est une sous-classe de FactualText
(subclass Message FactualText) Mid-level-ontology.kif 14767-14767 Message est une sous-classe de FactualText
(subclass Report FactualText) Mid-level-ontology.kif 14771-14771 Report est une sous-classe de FactualText
(subclass Letter FactualText) Mid-level-ontology.kif 14804-14804 Letter est une sous-classe de FactualText
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14883-14883 HistoricalAccount est une sous-classe de FactualText
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14914-14914 ReferenceBook est une sous-classe de FactualText
(subclass Electrocardiogram FactualText) Medicine.kif 3462-3462 Electrocardiogram est une sous-classe de FactualText
(subclass PartyPlatform FactualText) Government.kif 2319-2319 PartyPlatform est une sous-classe de FactualText


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