CriminalAction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CriminalAction EnglishLanguage "Any IntentionalProcess that violates a Law.")	Mid-level-ontology.kif 11465-11465
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 11464-11464	CriminalAction は意図的なプロセスの subclass では %n

appearance as argument number 2

(subclass Murder CriminalAction)	Mid-level-ontology.kif 16030-16030	Murder は CriminalAction の subclass では %n
(subclass PoliticalCrime CriminalAction)	Mid-level-ontology.kif 11476-11476	PoliticalCrime は CriminalAction の subclass では %n
(subclass Raping CriminalAction)	Mid-level-ontology.kif 21864-21864	Raping は CriminalAction の subclass では %n
(subclass Smuggling CriminalAction)	Mid-level-ontology.kif 7401-7401	Smuggling は CriminalAction の subclass では %n
(subclass Stealing CriminalAction)	Mid-level-ontology.kif 16173-16173	Stealing は CriminalAction の subclass では %n
(subclass Trespassing CriminalAction)	Mid-level-ontology.kif 15979-15979	Trespassing は CriminalAction の subclass では %n
(termFormat ChineseLanguage CriminalAction "犯罪行为")	domainEnglishFormat.kif 17767-17767	termFormat ChineseLanguage, CriminalAction and "犯罪行为"
(termFormat ChineseTraditionalLanguage CriminalAction "犯罪行為")	domainEnglishFormat.kif 17766-17766	termFormat ChineseTraditionalLanguage, CriminalAction and "犯罪行為"
(termFormat EnglishLanguage CriminalAction "criminal action")	domainEnglishFormat.kif 17765-17765	termFormat EnglishLanguage, CriminalAction and "criminal action"

appearance as argument number 3

(domain perpetrator 1 CriminalAction)	Law.kif 311-311	perpetrator の数値 1 引数は CriminalAction の instance では %n
(domain victim 1 CriminalAction)	Law.kif 298-298	victim の数値 1 引数は CriminalAction の instance では %n

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 11467-11474

工程は CriminalAction の instance では %n
公式命題 and 命題ステートメント公式には Law の modal force がある公式は命題の情報を contains %n{ない} 工程は命題の内容を expresses %n{ない} consistent 命題 and 命題

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 85-94	オブジェクトは人［人間］の instance では %n Criminal はオブジェクトの attribute では %n エンティティー工程エンティティーは CriminalAction の instance では %n 工程は LegalConviction の instance では %n 工程はエンティティーへの reference を includes %n{ない} オブジェクトは工程の patient では %n
(=> (instance ?G CriminalGang) (hasPurpose ?G (exists (?A) (and (instance ?A CriminalAction) (agent ?A ?G)))))	Mid-level-ontology.kif 13753-13759	物理は CriminalGang の instance では %n 物理はエンティティーエンティティーは CriminalAction の instance では %n 物理はエンティティーの agent では %n の目的 %n{ない}
(=> (instance ?P Pleading) (exists (?C) (and (instance ?C CriminalAction) (refers ?P ?C))))	Mid-level-ontology.kif 13788-13793	エンティティーは Pleading の instance では %n エンティティーエンティティーは CriminalAction の instance では %n エンティティーはエンティティーへの reference を includes %n{ない}
(=> (instance ?S MysteryStory) (exists (?C) (and (instance ?C CriminalAction) (refers ?S ?C))))	Mid-level-ontology.kif 12642-12647	エンティティーは MysteryStory の instance では %n エンティティーエンティティーは CriminalAction の instance では %n エンティティーはエンティティーへの reference を includes %n{ない}
(=> (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 16006-16027	物理は Protecting の instance では %n 物理はエンティティーエンティティーはオブジェクトの instance では %n オブジェクトは物理の patient では %n エンティティーはエンティティー class の subclass では %n 物理はエンティティーの出来事を prevents %n{ない} hinders 物理 and エンティティーの目的 %n{ない}

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

KB Term:			Term intersection

English Word: