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

appearance as argument number 2

(subclass Murder CriminalAction) Mid-level-ontology.kif 15999-15999
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 11475-11475
(subclass Raping CriminalAction) Mid-level-ontology.kif 21832-21832
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7400-7400
(subclass Stealing CriminalAction) Mid-level-ontology.kif 16142-16142
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 15948-15948
(termFormat EnglishLanguage CriminalAction "criminal action") domainEnglishFormat.kif 3394-3394

appearance as argument number 3

(domain perpetrator 1 CriminalAction) Law.kif 311-311
(domain victim 1 CriminalAction) Law.kif 298-298


    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
                (consistent ?CONTENT ?CRIME)))))
Mid-level-ontology.kif 11466-11473


        (instance ?P Human)
        (attribute ?P Criminal))
    (exists (?CA ?LC)
            (instance ?CA CriminalAction)
            (instance ?LC LegalConviction)
            (refers ?LC ?CA)
            (patient ?LC ?P))))
Justice.kif 85-94
    (instance ?G CriminalGang)
    (hasPurpose ?G
        (exists (?A)
                (instance ?A CriminalAction)
                (agent ?A ?G)))))
Mid-level-ontology.kif 13752-13758
    (instance ?P Pleading)
    (exists (?C)
            (instance ?C CriminalAction)
            (refers ?P ?C))))
Mid-level-ontology.kif 13787-13792
    (instance ?S MysteryStory)
    (exists (?C)
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 12641-12646
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ)
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))
Mid-level-ontology.kif 15975-15996

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners