(=> (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 730-740 |
|
(subclass Writing ContentDevelopment) | Merge.kif 12719-12719 | Writing is a subclass of content development |
(subclass Encoding Writing) | Merge.kif 12725-12725 | Encoding is a subclass of writing |
(subclass Decoding Writing) | Merge.kif 12731-12731 | Decoding is a subclass of writing |