| (=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS)) |
Biography.kif 738-748 | |
| (subclass Writing ContentDevelopment) | Merge.kif 12836-12836 | |
| (subclass Encoding Writing) | Merge.kif 12842-12842 | |
| (subclass Decoding Writing) | Merge.kif 12848-12848 |
|
|