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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Defrauding

Sigma KEE - Defrauding
Defrauding

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18305-18306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18302-18302 子類 Defrauding and 犯罪行為
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18303-18303 子類 Defrauding and 說謊

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4226-4226 子類 Phishing and Defrauding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18308-18308

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18310-18319


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