Summary(Riassunto) |
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 | Riassunto è una sottoclasse di Testo |
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 |
|