![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Reciting EnglishLanguage "Any instance of Speaking where what is uttered is contained within a Text.") | Mid-level-ontology.kif 13601-13602 | |
(subclass Reciting Speaking) | Mid-level-ontology.kif 13600-13600 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Reciting "背诵") | domainEnglishFormat.kif 48962-48962 | |
(termFormat ChineseTraditionalLanguage Reciting "背誦") | domainEnglishFormat.kif 48961-48961 | |
(termFormat EnglishLanguage Reciting "reciting") | domainEnglishFormat.kif 48960-48960 |
antecedent |
![]() |
(=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text)))) |
Mid-level-ontology.kif 13604-13610 |
![]() |
![]() |