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 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3569-3569 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15587-15588 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2991-2991 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3197-3197 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15586-15586 | Summary is a subclass of text |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1041-1041 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1293-1293 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 719-719 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 250-250 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 253-253 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2403-2403 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 671-671 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 255-255 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 289-289 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 740-740 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 254-254 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15590-15595 |
|