TreeView Knowledge Base Browser - Phishing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Phishing

Phishing(phishing)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4227-4231
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4226-4226	Phishing is a subclass of defrauding

appearance as argument number 2

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

ComputingBrands.kif 4233-4233

antecedent

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

ComputingBrands.kif 4235-4249

If a process is an instance of phishing,
then there exist a cognitive agent, another cognitive agent,, , another process and a formula such that the other process is an instance of communication and the other process originates at the cognitive agent and the cognitive agent is an agent of the process and the other process ends up at the other cognitive agent and the formula is an instance of formula and the other cognitive agent knows the formula and the other cognitive agent doesn't desire the cognitive agent knows the formula and the cognitive agent desires the cognitive agent knows the formula

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