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

Formal Language: 



KB Term:  Term intersection
English Word: 

  offers

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 14773-14775
(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 14772-14772 Report est une sous-classe de article
(subclass Report FactualText) Mid-level-ontology.kif 14771-14771 Report est une sous-classe de FactualText

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


(subclass FinancialText Report) Mid-level-ontology.kif 14905-14905 FinancialText est une sous-classe de Report
(termFormat ChineseLanguage Report "报告") domainEnglishFormat.kif 49508-49508
(termFormat ChineseTraditionalLanguage Report "報告") domainEnglishFormat.kif 49507-49507
(termFormat EnglishLanguage Report "report") domainEnglishFormat.kif 49506-49506

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


(=>
    (instance ?PAPER Newspaper)
    (exists (?REPORT)
        (and
            (instance ?REPORT Report)
            (subsumesContentInstance ?PAPER ?REPORT))))
Mid-level-ontology.kif 14782-14787
(=>
    (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