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