(=> (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 | Scrivere è una sottoclasse di SviluppoDelContenuto |
(subclass Encoding Writing) | Merge.kif 12725-12725 | Codificare è una sottoclasse di Scrivere |
(subclass Decoding Writing) | Merge.kif 12731-12731 | Decodificare è una sottoclasse di Scrivere |
![]() |