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 子類 犯罪行為 and IntentionalProcess

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


(subclass Defrauding CriminalAction) Mid-level-ontology.kif 18302-18302 子類 Defrauding and 犯罪行為
(subclass Murder CriminalAction) Mid-level-ontology.kif 18444-18444 子類 謀殺 and 犯罪行為
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 13870-13870 子類 政治犯罪 and 犯罪行為
(subclass Raping CriminalAction) Mid-level-ontology.kif 24099-24099 子類 性侵 and 犯罪行為
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7706-7706 子類 走私 and 犯罪行為
(subclass Stealing CriminalAction) Mid-level-ontology.kif 18579-18579 子類 偷竊行為 and 犯罪行為
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 18285-18285 子類 擅闖 and 犯罪行為
(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 perpetrator, 1 and 犯罪行為
(domain victim 1 CriminalAction) Law.kif 259-259 victim, 1 and 犯罪行為

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