| Reading | |
| appearance as argument number 1 |
|
|
| (documentation Reading ChineseLanguage "这属于 ContentDevelopment 的 subclass，当中内容 由书面形式转成口述。注：若默读 Text 的话，则应作 Interpreting 类别处理。") | chinese_format.kif 3201-3202 | |
| (documentation Reading EnglishLanguage "A subclass of ContentDevelopment in which content is converted from a written form into a spoken representation. Note that the class Interpreting should be used in cases where a Text is read silently.") | Merge.kif 12446-12449 | |
| (relatedInternalConcept Reading Interpreting) | Merge.kif 12445-12445 | |
| (subclass Reading ContentDevelopment) | Merge.kif 12444-12444 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reading "朗读") | chinese_format.kif 1178-1178 | |
| (termFormat EnglishLanguage Reading "reading") | english_format.kif 1573-1573 |
| antecedent |
|
|
| (=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP)))) |
Merge.kif 12451-12457 |
| consequent |
|
|
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 14444-14448 |
|
|
|