| Summary(summary)
| | abridged, abridgement, abridgment, abstract, apercu, argument, brief, capitulation, capsule, compendium, condensation, conspectus, epitome, line_score, literary_argument, outline, potted, precis, recap, recapitulation, resume, review, roundup, rundown, sketch, sum-up, summary, summation, summing_up, survey, synopsis |
| appearance as argument number 1 |
|
|
| (subclass Summary Text) | Merge.kif 15758-15758 | Summary is a subclass of text |
| (documentation Summary EnglishLanguage "A short Text that is a summary of another, longer Text.") | Merge.kif 15759-15760 | Summary is a subclass of text |
| (externalImage Summary "http://upload.wikimedia.org/wikipedia/commons/2/ 24/ ClamAV_sample_summary.png") | pictureList.kif 2990-2990 | Summary is a subclass of text |
| (externalImage Summary "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Odyssey_summary_br.jpg") | pictureList.kif 3196-3196 | Summary is a subclass of text |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Summary "summary") | english_format.kif 1293-1293 |
| antecedent |
|
|
| (=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT)))) |
Merge.kif 15762-15767 | If X is an instance of summary, then there exists Y such that Y is an instance of text and Y subsumes the content of X |
|
|
|