| appearance as argument number 1 |
|
| (subclass Defrauding CriminalAction) | Mid-level-ontology.kif 20211-20211 | Defrauding is a subclass of criminal action |
| (subclass Defrauding TellingALie) | Mid-level-ontology.kif 20212-20212 | Defrauding is a subclass of telling a lie |
| (documentation Defrauding EnglishLanguage "TellingALie in order to gain something of monetary value. The victim must be harmed in the process by the loss of money or a thing of value.") | Mid-level-ontology.kif 20214-20215 | Defrauding is a subclass of telling a lie |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Defrauding "defrauding") | Mid-level-ontology.kif 20217-20217 | |
| (subclass Phishing Defrauding) | ComputingBrands.kif 4132-4132 | Phishing is a subclass of defrauding |
| antecedent |
|
|
| (=> (instance ?D Defrauding) (exists (?A ?P ?O) (and (agent ?D ?A) (suffers ?D ?P) (benefits ?D ?A) (objectTransferred ?D ?O) (origin ?O ?P) (destination ?O ?A)))) |
Mid-level-ontology.kif 20219-20228 | If X is an instance of defrauding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Z suffers from X (4) Y is a beneficiary of X (5) the object transferred in X is W (6) W originates at Z (7) W ends up at Y |
|
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