Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Burial

Sigma KEE - Report
Report(报告)
more pictures...

appearance as argument number 1
-------------------------


(documentation Report EnglishLanguage "A relatively brief FactualText, often it describes the findings of a study or experiment, or a series of observations.") Mid-level-ontology.kif 14800-14802
(externalImage Report "http://articulatesoftware.com/SUMOpictures/office/ office_clipart/ report.png") pictureList.kif 690-690
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/0/07/ Brundtland_en-000.png") pictureList.kif 2730-2730
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/2/2b/ 911report_cover_HIGHRES.png") pictureList.kif 2920-2920
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Brundtland_en-013.png") pictureList.kif 2924-2924
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/46/ Meese_Report_cover.gif") pictureList.kif 2921-2921
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/48/ Brundtland_en-007.png") pictureList.kif 2923-2923
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/a/aa/ MAUD_Report.jpg") pictureList.kif 2922-2922
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Brundtland_en-043.png") pictureList.kif 2925-2925
(subclass Report Article) Mid-level-ontology.kif 14799-14799 报告文章subclass
(subclass Report FactualText) Mid-level-ontology.kif 14798-14798 报告事实文本subclass

appearance as argument number 2
-------------------------


(subclass FinancialText Report) Mid-level-ontology.kif 14932-14932 财务文本报告subclass
(termFormat ChineseLanguage Report "报告") domainEnglishFormat.kif 49510-49510
(termFormat ChineseTraditionalLanguage Report "報告") domainEnglishFormat.kif 49509-49509
(termFormat EnglishLanguage Report "report") domainEnglishFormat.kif 49508-49508

consequent
-------------------------


(=>
    (instance ?PAPER Newspaper)
    (exists (?REPORT)
        (and
            (instance ?REPORT Report)
            (subsumesContentInstance ?PAPER ?REPORT))))
Mid-level-ontology.kif 14809-14814
(=>
    (instance ?PS ProduceStudies)
    (exists (?STUDY)
        (and
            (result ?PS ?STUDY)
            (instance ?STUDY Report))))
MilitaryProcesses.kif 1233-1238


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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