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 13860-13860
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 CriminalAction est une sous-classe de processus intentionnel

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


(subclass Defrauding CriminalAction) Mid-level-ontology.kif 18303-18303 Defrauding est une sous-classe de CriminalAction
(subclass Murder CriminalAction) Mid-level-ontology.kif 18445-18445 Murder est une sous-classe de CriminalAction
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 13871-13871 PoliticalCrime est une sous-classe de CriminalAction
(subclass Raping CriminalAction) Mid-level-ontology.kif 24100-24100 Raping est une sous-classe de CriminalAction
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7707-7707 Smuggling est une sous-classe de CriminalAction
(subclass Stealing CriminalAction) Mid-level-ontology.kif 18580-18580 Stealing est une sous-classe de CriminalAction
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 18286-18286 Trespassing est une sous-classe de CriminalAction
(termFormat ChineseLanguage CriminalAction "犯罪行为") domainEnglishFormat.kif 17838-17838
(termFormat ChineseTraditionalLanguage CriminalAction "犯罪行為") domainEnglishFormat.kif 17837-17837
(termFormat EnglishLanguage CriminalAction "criminal action") domainEnglishFormat.kif 17836-17836

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


(domain perpetrator 1 CriminalAction) Law.kif 272-272 Le nombre 1 argument de perpetrator est une instance de CriminalAction
(domain victim 1 CriminalAction) Law.kif 259-259 Le nombre 1 argument de victim est une instance de CriminalAction

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

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
(=>
    (instance ?G CriminalGang)
    (hasPurpose ?G
        (exists (?A)
            (and
                (instance ?A CriminalAction)
                (agent ?A ?G)))))
Mid-level-ontology.kif 16100-16106
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))
Mid-level-ontology.kif 16135-16140
(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 14938-14943
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ ?T ?H ?HARM)
            (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 18421-18442


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 3.0 is open source software produced by Articulate Software and its partners