| (=> (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 12851-12851 | 執筆 は コンテンツ開発 の subclass では |
| (subclass Encoding Writing) | Merge.kif 12857-12857 | 符号化 は 執筆 の subclass では |
| (subclass Decoding Writing) | Merge.kif 12863-12863 | 復号化 は 執筆 の subclass では |
|
|