| Reading(reading) | | anagram, anagrammatise, anagrammatize, browse, browsing, dip_into, flick, flip, leaf, numerate, perusal, peruse, perusing, poring_over, proof, proofread, read, reread, riff, riffle, scan, skim, skim_over, skimming, spell_out, studying, thumb, unread, well-read |
| 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 12860-12863 | |
| (relatedInternalConcept Reading Interpreting) | Merge.kif 12859-12859 | Reading is internally related to interpreting |
| (subclass Reading ContentDevelopment) | Merge.kif 12858-12858 | Reading is a subclass of content development |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reading "朗读") | chinese_format.kif 1178-1178 | |
| (termFormat EnglishLanguage Reading "reading") | english_format.kif 1573-1573 | |
| (termFormat FrenchLanguage Reading "lire") | french_format.kif 856-856 | |
| (termFormat Hindi Reading "padhaaii") | terms-hindi.txt 388-388 | |
| (termFormat ItalianLanguage Reading "Leggere") | terms-it.txt 391-391 | |
| (termFormat JapaneseLanguage Reading "読み") | japanese_format.kif 2540-2540 | |
| (termFormat PortugueseLanguage Reading "Ler") | portuguese_format.kif 808-808 | |
| (termFormat cb Reading "pagbasa") | terms-cb.txt 393-393 | |
| (termFormat cz Reading "reading") | terms-cz.txt 427-427 | |
| (termFormat de Reading "Lesen") | terms-de.txt 686-686 | |
| (termFormat ro Reading "citire") | relations-ro.kif 877-877 | |
| (termFormat tg Reading "bumabasa") | terms-tg.txt 392-392 |
| antecedent |
|
|
| (=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP)))) |
Merge.kif 12865-12871 |
|
| consequent |
|
|
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 16362-16366 | Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing |
|
|
|