(=>
(and
(instance ?S Spamming)
(instance ?G GroupOfPeople)
(memberCount ?G ?N)
(destination ?S ?G))
(modalAttribute
(greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4093-4101 |
If X is an instance of spamming, Y is an instance of group of people, Z is a member count of Y, and X ends up at Y, then the statement Z is greater than 100 has the modal force of likely |
(=>
(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 |
Spamming