Spam |
appearance as argument number 1 |
(documentation Spam EnglishLanguage "An unsolicited message that is the result of Spamming.") | ComputingBrands.kif 4223-4223 | |
(subclass Spam Text) | ComputingBrands.kif 4222-4222 | Spam è una sottoclasse di Testo |
appearance as argument number 2 |
(termFormat EnglishLanguage Spam "spam") | ComputingBrands.kif 4224-4224 |
antecedent |
(=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (exists (?R) (and (instance ?R Requesting) (patient ?R ?SPAM))))) |
ComputingBrands.kif 4197-4208 | |
(=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4210-4220 |