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 15446-15453
(subclass FactualText Text) Merge.kif 15427-15427 FactualText è una sottoclasse di Testo
(subclass Announcement FactualText) Mid-level-ontology.kif 14546-14546 Announcement è una sottoclasse di FactualText
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14562-14562 PerformanceProgram è una sottoclasse di FactualText
(subclass Documentary FactualText) Mid-level-ontology.kif 14611-14611 Documentary è una sottoclasse di FactualText
(subclass Message FactualText) Mid-level-ontology.kif 14794-14794 Message è una sottoclasse di FactualText
(subclass Report FactualText) Mid-level-ontology.kif 14798-14798 Report è una sottoclasse di FactualText
(subclass Letter FactualText) Mid-level-ontology.kif 14831-14831 Letter è una sottoclasse di FactualText
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14910-14910 HistoricalAccount è una sottoclasse di FactualText
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14941-14941 ReferenceBook è una sottoclasse di FactualText
(subclass Electrocardiogram FactualText) Medicine.kif 3462-3462 Electrocardiogram è una sottoclasse di FactualText
(subclass PartyPlatform FactualText) Government.kif 2283-2283 PartyPlatform è una sottoclasse di 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