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 15422-15429
(subclass FactualText Text) Merge.kif 15403-15403 FactualText ist eine teilkategorie von Text
(subclass Announcement FactualText) Mid-level-ontology.kif 14518-14518 Announcement ist eine teilkategorie von FactualText
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14534-14534 PerformanceProgram ist eine teilkategorie von FactualText
(subclass Documentary FactualText) Mid-level-ontology.kif 14583-14583 Documentary ist eine teilkategorie von FactualText
(subclass Message FactualText) Mid-level-ontology.kif 14766-14766 Message ist eine teilkategorie von FactualText
(subclass Report FactualText) Mid-level-ontology.kif 14770-14770 Report ist eine teilkategorie von FactualText
(subclass Letter FactualText) Mid-level-ontology.kif 14803-14803 Letter ist eine teilkategorie von FactualText
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14882-14882 HistoricalAccount ist eine teilkategorie von FactualText
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14913-14913 ReferenceBook ist eine teilkategorie von FactualText
(subclass Electrocardiogram FactualText) Medicine.kif 3462-3462 Electrocardiogram ist eine teilkategorie von FactualText
(subclass PartyPlatform FactualText) Government.kif 2319-2319 PartyPlatform ist eine teilkategorie von 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