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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CriminalAction

Sigma KEE - CriminalAction
CriminalActionجانٍ, مُذْنِب, مُجْرِم

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


(documentation CriminalAction EnglishLanguage "Any IntentionalProcess that violates a Law.") Mid-level-ontology.kif 11204-11204
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 11203-11203

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


(subclass Murder CriminalAction) Mid-level-ontology.kif 15698-15698
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 11215-11215
(subclass Raping CriminalAction) Mid-level-ontology.kif 21471-21471
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7396-7396
(subclass Stealing CriminalAction) Mid-level-ontology.kif 15841-15841
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 15647-15647
(termFormat EnglishLanguage CriminalAction "criminal action") domainEnglishFormat.kif 3394-3394

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


(domain perpetrator 1 CriminalAction) Law.kif 311-311
(domain victim 1 CriminalAction) Law.kif 298-298

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

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 85-94
(=>
    (instance ?G CriminalGang)
    (hasPurpose ?G
        (exists (?A)
            (and
                (instance ?A CriminalAction)
                (agent ?A ?G)))))
Mid-level-ontology.kif 13492-13498
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))
Mid-level-ontology.kif 13527-13532
(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 12381-12386
(=>
    (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 15674-15695


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners