CriminalAction - Sigma Knowledge base Browser

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 13859-13859
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13858-13858	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 18302-18302	Defrauding is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18444-18444	Murder is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13870-13870	Political crime is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24099-24099	Raping is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7706-7706	Smuggling is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18579-18579	Stealing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18285-18285	Trespassing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17838-17838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17837-17837
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17836-17836

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Law.kif 272-272	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 259-259	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 13861-13868

If a process is an instance of criminal action,
then there exist a formula, a proposition and another proposition such that the statement the formula has the modal force of law and the formula contains information the proposition and the process expresses the content of the other proposition and the other proposition is not a consistent of the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	If an object is an instance of human and criminal is an attribute of the object, then there exist an entity and a process such that the entity is an instance of criminal action and the process is an instance of legal conviction and the process includes a reference to the entity and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16099-16105	If a physical is an instance of criminal gang, then the physical has the purpose there exists an entity such that the entity is an instance of criminal action and the physical is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16134-16139	If an entity is an instance of pleading, then there exists another entity such that the other entity is an instance of criminal action and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14937-14942	If an entity is an instance of mystery story, then there exists another entity such that the other entity is an instance of criminal action and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18441	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM

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