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 16146-16148
(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 2729-2729
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/2/2b/ 911report_cover_HIGHRES.png") pictureList.kif 2919-2919
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Brundtland_en-013.png") pictureList.kif 2923-2923
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/46/ Meese_Report_cover.gif") pictureList.kif 2920-2920
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/48/ Brundtland_en-007.png") pictureList.kif 2922-2922
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/a/aa/ MAUD_Report.jpg") pictureList.kif 2921-2921
(externalImage Report "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Brundtland_en-043.png") pictureList.kif 2924-2924
(subclass Report Article) Mid-level-ontology.kif 16145-16145
(subclass Report FactualText) Mid-level-ontology.kif 16144-16144

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


(subclass FinancialText Report) Mid-level-ontology.kif 16278-16278
(subclass PositionReport Report) Mid-level-ontology.kif 7719-7719
(subclass WeatherAssessment Report) Weather.kif 3577-3577
(termFormat ChineseLanguage Report "报告") domainEnglishFormat.kif 49512-49512
(termFormat ChineseTraditionalLanguage Report "報告") domainEnglishFormat.kif 49511-49511
(termFormat EnglishLanguage Report "report") domainEnglishFormat.kif 49510-49510

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


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


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