Spam - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Spam

Spam(spam)

appearance as argument number 1

(documentation Spam EnglishLanguage "An unsolicited message that is the result of Spamming.")	ComputingBrands.kif 4218-4218
(subclass Spam Text)	ComputingBrands.kif 4217-4217	Spam is a subclass of text

appearance as argument number 2

(termFormat EnglishLanguage Spam "spam")

ComputingBrands.kif 4219-4219

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 4192-4203	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then there doesn't exist another process such that the other process is an instance of requesting and the processPAM is a patient of the other process
(=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely)))	ComputingBrands.kif 4205-4215	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then the statement the other entity wants the processPAM 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