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

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4223-4223
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4222-4222	Spam is a subclass of text

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 4224-4224

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4197-4208	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	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