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 子類 事實文本 and Text
(subclass Announcement FactualText) Mid-level-ontology.kif 14519-14519 子類 公告 and 事實文本
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14535-14535 子類 表演計劃 and 事實文本
(subclass Documentary FactualText) Mid-level-ontology.kif 14584-14584 子類 記錄 and 事實文本
(subclass Message FactualText) Mid-level-ontology.kif 14767-14767 子類 信息 and 事實文本
(subclass Report FactualText) Mid-level-ontology.kif 14771-14771 子類 報告 and 事實文本
(subclass Letter FactualText) Mid-level-ontology.kif 14804-14804 子類 信件 and 事實文本
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14883-14883 子類 歷史記錄 and 事實文本
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14914-14914 子類 參考書 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