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 子類 事實文本 and Text
(subclass Announcement FactualText) Mid-level-ontology.kif 14518-14518 子類 公告 and 事實文本
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14534-14534 子類 表演計劃 and 事實文本
(subclass Documentary FactualText) Mid-level-ontology.kif 14583-14583 子類 記錄 and 事實文本
(subclass Message FactualText) Mid-level-ontology.kif 14766-14766 子類 信息 and 事實文本
(subclass Report FactualText) Mid-level-ontology.kif 14770-14770 子類 報告 and 事實文本
(subclass Letter FactualText) Mid-level-ontology.kif 14803-14803 子類 信件 and 事實文本
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14882-14882 子類 歷史記錄 and 事實文本
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14913-14913 子類 參考書 and 事實文本
(subclass Electrocardiogram FactualText) Medicine.kif 3462-3462 子類 Electrocardiogram and 事實文本
(subclass PartyPlatform FactualText) Government.kif 2319-2319 子類 黨的平台 and 事實文本


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