Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 12972-12972 | Reading is a subclass of content development |
| (relatedInternalConcept Reading Interpreting) | Merge.kif 12973-12973 | 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 12974-12977 | Reading is internally related to interpreting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Reading "reading") | english_format.kif 1577-1577 |
| antecedent |
|
|
| (=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP)))) |
Merge.kif 12979-12985 | 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 16575-16579 | 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 |
|