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 13859-13859
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13858-13858 CriminalAction è una sottoclasse di ProcessoIntenzionale

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


(subclass Defrauding CriminalAction) Mid-level-ontology.kif 18302-18302 Defrauding è una sottoclasse di CriminalAction
(subclass Murder CriminalAction) Mid-level-ontology.kif 18444-18444 Murder è una sottoclasse di CriminalAction
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 13870-13870 PoliticalCrime è una sottoclasse di CriminalAction
(subclass Raping CriminalAction) Mid-level-ontology.kif 24099-24099 Raping è una sottoclasse di CriminalAction
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7706-7706 Smuggling è una sottoclasse di CriminalAction
(subclass Stealing CriminalAction) Mid-level-ontology.kif 18579-18579 Stealing è una sottoclasse di CriminalAction
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 18285-18285 Trespassing è una sottoclasse di 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 Il numero 1 argomenti di perpetrator è un istanza di CriminalAction
(domain victim 1 CriminalAction) Law.kif 259-259 Il numero 1 argomenti di victim è un istanza di 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 13861-13868

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 16099-16105
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))		 Mid-level-ontology.kif 16134-16139
(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))		 Mid-level-ontology.kif 14937-14942
(=>
    (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 18420-18441


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