|
|
   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 是 文本 的 subclass |
| 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 |
|
|
|