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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CriminalAction
CriminalAction(criminal action)barratry, bearing_false_witness, biopiracy, blackmail, breach_of_the_peace, break-in, breaking_and_entering, burglary, caper, commission, committal, dacoity, dakoity, defalcation, disorderly_behavior, disorderly_conduct, disturbance_of_the_peace, embezzlement, false_pretence, false_pretense, fraudulent_scheme, guilty, home_invasion, housebreaking, illegal_possession, illegitimate_enterprise, job, lying_under_oath, misapplication, misappropriation, molestation, mugging, peculation, perjury, perpetration, pilferage, racket, racketeering, regulatory_offence, regulatory_offense, resisting_arrest, sex_crime, sex_offense, sexual_abuse, sexual_assault, shakedown, shoplifting, shrinkage, statutory_offence, statutory_offense...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10641-10641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10640-10640 Criminal action is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14877-14877 Defrauding is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14985-14985 Murder is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10652-10652 Political crime is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20401-20401 Raping is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6721-6721 Smuggling is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15119-15119 Stealing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14860-14860 Trespassing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17829-17829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17828-17828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17827-17827

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Law.kif 315-315 The number 1 argument of perpetrator is an instance of criminal action
No TPTP formula. May not be expressible in strict first order. Law.kif 302-302 The number 1 argument of victim is an instance of criminal action

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


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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Justice.kif 87-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12806-12812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12841-12846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11677-11682
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14961-14982


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