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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


(subclass Murder CriminalAction) Mid-level-ontology.kif 15999-15999
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 11475-11475
(subclass Raping CriminalAction) Mid-level-ontology.kif 21832-21832
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7400-7400
(subclass Stealing CriminalAction) Mid-level-ontology.kif 16142-16142
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 15948-15948
(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 11466-11473

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 13752-13758
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))
Mid-level-ontology.kif 13787-13792
(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 12641-12646
(=>
    (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 15975-15996


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