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 è una sottoclasse di ProcessoIntenzionale

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


(subclass Defrauding CriminalAction) Mid-level-ontology.kif 18303-18303 Defrauding è una sottoclasse di CriminalAction
(subclass Murder CriminalAction) Mid-level-ontology.kif 18445-18445 Murder è una sottoclasse di CriminalAction
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 13871-13871 PoliticalCrime è una sottoclasse di CriminalAction
(subclass Raping CriminalAction) Mid-level-ontology.kif 24100-24100 Raping è una sottoclasse di CriminalAction
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7707-7707 Smuggling è una sottoclasse di CriminalAction
(subclass Stealing CriminalAction) Mid-level-ontology.kif 18580-18580 Stealing è una sottoclasse di CriminalAction
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 18286-18286 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 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