| 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 |
|
|
| (documentation Summary ChineseLanguage "这是一篇短的 Text，它另外一篇更长的 Text 的摘要。") | chinese_format.kif 3569-3569 | |
| (documentation Summary EnglishLanguage "A short Text that is a summary of another, longer Text.") | Merge.kif 15633-15634 | |
| (externalImage Summary "http://upload.wikimedia.org/wikipedia/commons/2/ 24/ ClamAV-sample-summary.png") | pictureList.kif 2991-2991 | |
| (externalImage Summary "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Odyssey_summary_br.jpg") | pictureList.kif 3197-3197 | |
| (subclass Summary Text) | Merge.kif 15632-15632 | Summary is a subclass of text |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Summary "摘要") | chinese_format.kif 1041-1041 | |
| (termFormat EnglishLanguage Summary "summary") | english_format.kif 1293-1293 | |
| (termFormat FrenchLanguage Summary "r�sum�") | french_format.kif 719-719 | |
| (termFormat Hindi Summary "saaransha") | terms-hindi.txt 250-250 | |
| (termFormat ItalianLanguage Summary "Riassunto") | terms-it.txt 253-253 | |
| (termFormat JapaneseLanguage Summary "概要") | japanese_format.kif 2403-2403 | |
| (termFormat PortugueseLanguage Summary "Resumo") | portuguese_format.kif 671-671 | |
| (termFormat cb Summary "katikbu-an") | terms-cb.txt 255-255 | |
| (termFormat cz Summary "summary") | terms-cz.txt 289-289 | |
| (termFormat ro Summary "rezumat") | relations-ro.kif 740-740 | |
| (termFormat tg Summary "Buod") | terms-tg.txt 254-254 |
| antecedent |
|
|
| (=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT)))) |
Merge.kif 15636-15641 |
|
|
|
|