TreeView Knowledge Base Browser - Spam

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

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

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	如果过程是 Spamming 的 instance 和那个过程PAM 是那个过程的 result 和那个过程是 Spam 的 instance 和另一个实体是人类的 instance 和那个过程在那个另外实体结束，然后不存在另一个过程这样那个另外过程是要求的 instance 和那个过程PAM 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	如果过程是 Spamming 的 instance 和那个过程PAM 是那个过程的 result 和那个过程是 Spam 的 instance 和另一个实体是人类的 instance 和那个过程在那个另外实体结束，然后那个另外实体 wants 那个过程PAM 的声明 doesn't have 容易的语气

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