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 11533-11533
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 11532-11532

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


(subclass Defrauding CriminalAction) Mid-level-ontology.kif 16094-16094
(subclass Murder CriminalAction) Mid-level-ontology.kif 16200-16200
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 11544-11544
(subclass Raping CriminalAction) Mid-level-ontology.kif 21977-21977
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7400-7400
(subclass Stealing CriminalAction) Mid-level-ontology.kif 16345-16345
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 16069-16069
(termFormat ChineseLanguage CriminalAction "犯罪行为") domainEnglishFormat.kif 17836-17836
(termFormat ChineseTraditionalLanguage CriminalAction "犯罪行為") domainEnglishFormat.kif 17835-17835
(termFormat EnglishLanguage CriminalAction "criminal action") domainEnglishFormat.kif 17834-17834

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


(domain perpetrator 1 CriminalAction) Law.kif 315-315
(domain victim 1 CriminalAction) Law.kif 302-302

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

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 13815-13821
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))
Mid-level-ontology.kif 13850-13855
(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 12704-12709
(=>
    (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 16176-16197


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