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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spam

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文本subclass

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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