(=> (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 12697-12697 | 写作 是 内容制作 的 subclass |
(subclass Encoding Writing) | Merge.kif 12703-12703 | 编码 是 写作 的 subclass |
(subclass Decoding Writing) | Merge.kif 12709-12709 | 解码 是 写作 的 subclass |