| Reciting | |
| 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 17305-17306 | |
| (subclass Reciting Speaking) | Mid-level-ontology.kif 17304-17304 | Reciting は Speaking の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reciting "背诵") | domainEnglishFormat.kif 48972-48972 | |
| (termFormat ChineseTraditionalLanguage Reciting "背誦") | domainEnglishFormat.kif 48971-48971 | |
| (termFormat EnglishLanguage Reciting "reciting") | domainEnglishFormat.kif 48970-48970 |
| antecedent |
|
|
| (=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text)))) |
Mid-level-ontology.kif 17308-17314 |
|
|
|
|