(=> (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 | |
(subclass Encoding Writing) | Merge.kif 12725-12725 | |
(subclass Decoding Writing) | Merge.kif 12731-12731 |