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 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 Report è una sottoclasse di Articolo
(subclass Report FactualText) Mid-level-ontology.kif 14798-14798 Report è una sottoclasse di FactualText

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


(subclass FinancialText Report) Mid-level-ontology.kif 14932-14932 FinancialText è una sottoclasse di Report
(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 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