CriminalAction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CriminalAction EnglishLanguage "Any IntentionalProcess that violates a Law.")	Mid-level-ontology.kif 11495-11495
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 11494-11494	Criminal action is a subclass of intentional process

appearance as argument number 2

(subclass Defrauding CriminalAction)	Mid-level-ontology.kif 16029-16029	Defrauding is a subclass of criminal action
(subclass Murder CriminalAction)	Mid-level-ontology.kif 16132-16132	Murder is a subclass of criminal action
(subclass PoliticalCrime CriminalAction)	Mid-level-ontology.kif 11506-11506	Political crime is a subclass of criminal action
(subclass Raping CriminalAction)	Mid-level-ontology.kif 21901-21901	Raping is a subclass of criminal action
(subclass Smuggling CriminalAction)	Mid-level-ontology.kif 7381-7381	Smuggling is a subclass of criminal action
(subclass Stealing CriminalAction)	Mid-level-ontology.kif 16277-16277	Stealing is a subclass of criminal action
(subclass Trespassing CriminalAction)	Mid-level-ontology.kif 16004-16004	Trespassing is a subclass of criminal action
(termFormat ChineseLanguage CriminalAction "犯罪行为")	domainEnglishFormat.kif 17761-17761
(termFormat ChineseTraditionalLanguage CriminalAction "犯罪行為")	domainEnglishFormat.kif 17760-17760
(termFormat EnglishLanguage CriminalAction "criminal action")	domainEnglishFormat.kif 17759-17759

appearance as argument number 3

(domain perpetrator 1 CriminalAction)	Law.kif 315-315	The number 1 argument of perpetrator is an instance of criminal action
(domain victim 1 CriminalAction)	Law.kif 302-302	The number 1 argument of victim is an instance of criminal action

antecedent

(=>
    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
        (and
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
            (not
                (consistent ?CONTENT ?CRIME)))))

Mid-level-ontology.kif 11497-11504

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

(=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P))))	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
(=> (instance ?G CriminalGang) (hasPurpose ?G (exists (?A) (and (instance ?A CriminalAction) (agent ?A ?G)))))	Mid-level-ontology.kif 13777-13783	If a physical is an instance of criminal gang, then the physical purpose there exists an entity such that the entity is an instance of criminal action and the physical is an agent of the entity
(=> (instance ?P Pleading) (exists (?C) (and (instance ?C CriminalAction) (refers ?P ?C))))	Mid-level-ontology.kif 13812-13817	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
(=> (instance ?S MysteryStory) (exists (?C) (and (instance ?C CriminalAction) (refers ?S ?C))))	Mid-level-ontology.kif 12666-12671	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
(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM))))))	Mid-level-ontology.kif 16108-16129	If a physical is an instance of Protecting, then the physical purpose there exists an entity such that the entity is an instance of object and object is a patient of the physical and another entity is a subclass of the class described by a third entity and the physical prevents the occurrence of the other entity or the physical hinders the other entity

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

KB Term:			Term intersection

English Word: