Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Report(report)
more pictures... |  | account, article, assay, blue_book, case_study, communique, despatch, diary, dispatch, green_paper, inventory, journal, news_report, parts_inventory, position_paper, report, stock_list, story, study, think_piece, urban_legend, white_book, white_paper, write_up, written_report |
| appearance as argument number 1 |
|
|
| (subclass Report FactualText) | Mid-level-ontology.kif 16378-16378 | Report is a subclass of factual text |
| (subclass Report Article) | Mid-level-ontology.kif 16379-16379 | Report is a subclass of article |
| (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 16380-16382 | Report is a subclass of article |
| (externalImage Report "http://articulatesoftware.com/SUMOpictures/office/ office_clipart/ report.png") | pictureList.kif 690-690 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/0/07/ Brundtland_en-000.png") | pictureList.kif 2729-2729 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/2/2b/ 911report_cover_HIGHRES.png") | pictureList.kif 2919-2919 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/46/ Meese_Report_cover.gif") | pictureList.kif 2920-2920 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/a/aa/ MAUD_Report.jpg") | pictureList.kif 2921-2921 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/4/48/ Brundtland_en-007.png") | pictureList.kif 2922-2922 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Brundtland_en-013.png") | pictureList.kif 2923-2923 | Report is a subclass of article |
| (externalImage Report "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Brundtland_en-043.png") | pictureList.kif 2924-2924 | Report is a subclass of article |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?PAPER Newspaper) (exists (?REPORT) (and (instance ?REPORT Report) (subsumesContentInstance ?PAPER ?REPORT)))) |
Mid-level-ontology.kif 16389-16394 | If X is an instance of newspaper, then there exists Y such that Y is an instance of report and X subsumes the content of Y |
| (=> (instance ?PS ProduceStudies) (exists (?STUDY) (and (result ?PS ?STUDY) (instance ?STUDY Report)))) |
MilitaryProcesses.kif 1255-1260 | If X is an instance of produce studies, then there exists Y such that Y is a result of X and Y is an instance of report |
| (=> (instance ?ER ExpenseReport) (exists (?EMPLOYEE ?ORG) (and (instance ?ER Report) (agent ?ER ?EMPLOYEE) (patient ?ER ?ORG)))) |
TravelPolicies.kif 594-600 | If X is an instance of ExpenseReport, then there exist Y, Z such that X is an instance of report, Y is an agent of X, and Z is a patient of X |
|