| 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 |
|
|
| (subclass Reading ContentDevelopment) | Merge.kif 12858-12858 | Reading is a subclass of content development |
| (relatedInternalConcept Reading Interpreting) | Merge.kif 12859-12859 | Reading is internally related to interpreting |
| (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 | Reading is internally related to interpreting |
| appearance as argument number 2 |
|
|
| (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 12865-12871 | If X is an instance of reading, then there exist Y, Z such that Y is an instance of text, Y contains information Z, and X expresses the content of Z |
| consequent |
|
|
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 16525-16529 | Literacy attribute is an attribute of X if, only if X has the skill to do reading, and X has the skill to do writing |
|
|
|