Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spam
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 è una sottoclasse di Testo

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


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