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
-------------------------


s__documentation(s__CriminalAction,s__EnglishLanguage,'"Any IntentionalProcess that violates a Law."')

Mid-level-ontology.kif 12225-12225
s__subclass(s__CriminalAction,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 12224-12224 Criminal action is a subclass of intentional process

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


s__instance(s__Defrauding,s__SetOrClass)

s__subclass(s__Defrauding,s__CriminalAction)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 16476-16476 Defrauding is a subclass of criminal action
s__subclass(s__Murder,s__CriminalAction)

s__instance(s__Murder,s__SetOrClass)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 16584-16584 Murder is a subclass of criminal action
s__instance(s__PoliticalCrime,s__SetOrClass)

s__subclass(s__PoliticalCrime,s__CriminalAction)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 12236-12236 Political crime is a subclass of criminal action
s__subclass(s__Raping,s__CriminalAction)

s__instance(s__CriminalAction,s__SetOrClass)

s__instance(s__Raping,s__SetOrClass)

Mid-level-ontology.kif 22288-22288 Raping is a subclass of criminal action
s__instance(s__Smuggling,s__SetOrClass)

s__subclass(s__Smuggling,s__CriminalAction)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 7069-7069 Smuggling is a subclass of criminal action
s__subclass(s__Stealing,s__CriminalAction)

s__instance(s__Stealing,s__SetOrClass)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 16718-16718 Stealing is a subclass of criminal action
s__instance(s__Trespassing,s__SetOrClass)

s__instance(s__CriminalAction,s__SetOrClass)

s__subclass(s__Trespassing,s__CriminalAction)

Mid-level-ontology.kif 16459-16459 Trespassing is a subclass of criminal action
s__termFormat(s__ChineseLanguage,s__CriminalAction,'"犯罪行为"')

domainEnglishFormat.kif 17829-17829
s__termFormat(s__ChineseTraditionalLanguage,s__CriminalAction,'"犯罪行為"')

domainEnglishFormat.kif 17828-17828
s__termFormat(s__EnglishLanguage,s__CriminalAction,'"criminal action"')

domainEnglishFormat.kif 17827-17827

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


s__domain(s__perpetrator__m,n__1,s__CriminalAction)

Law.kif 315-315 The number 1 argument of perpetrator is an instance of criminal action
s__domain(s__victim__m,n__1,s__CriminalAction)

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 12227-12234

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


( ! [V__P] :
   (((s__instance(V__P,s__Human) &
         s__attribute(V__P,s__Criminal))
       =>
       (( ? [V__CA, V__LC] :
           ((s__instance(V__CA,s__CriminalAction) &
               s__instance(V__LC,s__LegalConviction) &
               s__refers(V__LC,V__CA)
             &
             s__patient(V__LC,V__P))))))
)
)

Justice.kif 87-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14405-14411
( ! [V__P] :
   ((s__instance(V__P,s__Pleading) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__CriminalAction) &
               s__refers(V__P,V__C))))))
   )
)

Mid-level-ontology.kif 14440-14445
( ! [V__S] :
   ((s__instance(V__S,s__MysteryStory) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__CriminalAction) &
               s__refers(V__S,V__C))))))
   )
)

Mid-level-ontology.kif 13276-13281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16560-16581


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