| appearance as argument number 1 |
|
| (subclass Spam Text) | ComputingBrands.kif 4128-4128 | Spam is a subclass of text |
| (documentation Spam EnglishLanguage "An unsolicited message that is the result of Spamming.") | ComputingBrands.kif 4129-4129 | Spam is a subclass of text |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Spam "spam") | ComputingBrands.kif 4130-4130 |
| 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 4103-4114 | If X is an instance of spamming, Y is a result of X, X is an instance of spam, Z is an instance of human, and X ends up at Z, then there doesn't exist W such that W is an instance of requesting and Y is a patient of W |
| (=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4116-4126 | If X is an instance of spamming, Y is a result of X, X is an instance of spam, Z is an instance of human, and X ends up at Z, then the statement Z doesn't want Y doesn't have the modal force of likely |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners