Reciting - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Reciting Speaking)	Mid-level-ontology.kif 17435-17435	Reciting is a subclass of speaking
(documentation Reciting EnglishLanguage "Any instance of Speaking where what is uttered is contained within a Text.")	Mid-level-ontology.kif 17436-17437	Reciting is a subclass of speaking

appearance as argument number 2

(termFormat EnglishLanguage Reciting "reciting")	domainEnglishFormat.kif 48963-48963
(termFormat ChineseTraditionalLanguage Reciting "背誦")	domainEnglishFormat.kif 48964-48964
(termFormat ChineseLanguage Reciting "背诵")	domainEnglishFormat.kif 48965-48965

antecedent

(=>
    (instance ?R Reciting)
    (exists (?P ?T)
        (and
            (realization ?R ?P)
            (containsInformation ?T ?P)
            (instance ?T Text))))

If X is an instance of reciting, then there exist Y, Z such that X expresses the content of Y, Z contains information Y, and Z is an instance of text