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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12542-12544
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/0/07/ Brundtland_en-000.png") pictureList.kif 2731-2731
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/2/2b/ 911report_cover_HIGHRES.png") pictureList.kif 2921-2921
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Brundtland_en-013.png") pictureList.kif 2925-2925
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/46/ Meese_Report_cover.gif") pictureList.kif 2922-2922
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/48/ Brundtland_en-007.png") pictureList.kif 2924-2924
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/a/aa/ MAUD_Report.jpg") pictureList.kif 2923-2923
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Brundtland_en-043.png") pictureList.kif 2926-2926
(externalImage Report "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ office/ office_clipart/ report.png") pictureList.kif 690-690
(subclass Report Article) Mid-level-ontology.kif 12541-12541
(subclass Report FactualText) Mid-level-ontology.kif 12540-12540

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


(subclass FinancialText Report) Mid-level-ontology.kif 12633-12633
(termFormat ChineseLanguage Report "报告") domainEnglishFormat.kif 49427-49427
(termFormat ChineseTraditionalLanguage Report "報告") domainEnglishFormat.kif 49426-49426
(termFormat EnglishLanguage Report "report") domainEnglishFormat.kif 49425-49425

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


(=>
    (instance ?PAPER Newspaper)
    (exists (?REPORT)
        (and
            (instance ?REPORT Report)
            (subsumesContentInstance ?PAPER ?REPORT))))
Mid-level-ontology.kif 12551-12556
(=>
    (instance ?PS ProduceStudies)
    (exists (?STUDY)
        (and
            (result ?PS ?STUDY)
            (instance ?STUDY Report))))
MilitaryProcesses.kif 1232-1237


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



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