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 子類 事實文本 and Text
(subclass Announcement FactualText) Mid-level-ontology.kif 14546-14546 子類 公告 and 事實文本
(subclass PerformanceProgram FactualText) Mid-level-ontology.kif 14562-14562 子類 表演計劃 and 事實文本
(subclass Documentary FactualText) Mid-level-ontology.kif 14611-14611 子類 記錄 and 事實文本
(subclass Message FactualText) Mid-level-ontology.kif 14794-14794 子類 信息 and 事實文本
(subclass Report FactualText) Mid-level-ontology.kif 14798-14798 子類 報告 and 事實文本
(subclass Letter FactualText) Mid-level-ontology.kif 14831-14831 子類 信件 and 事實文本
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 14910-14910 子類 歷史記錄 and 事實文本
(subclass ReferenceBook FactualText) Mid-level-ontology.kif 14941-14941 子類 參考書 and 事實文本
(subclass Electrocardiogram FactualText) Medicine.kif 3462-3462 子類 Electrocardiogram and 事實文本
(subclass PartyPlatform FactualText) Government.kif 2283-2283 子類 黨的平台 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