Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalProcess
PoliticalProcess

appearance as argument number 1
-------------------------


(documentation PoliticalProcess ChineseLanguage "这是由官方成立政府举行、支持或反对官方成立的政府的 OrganizationalProcess。例子会是投票就拟议的立法、选举政府代表或甚至是推翻政府的革命。") chinese_format.kif 2959-2960
(documentation PoliticalProcess EnglishLanguage "An OrganizationalProcess carried out by, for or against officially constituted governments. Some examples would be voting on proposed legislation, electing a government representative, or even overthrowing a government in a revolution.") Merge.kif 10752-10755
(documentation PoliticalProcess JapaneseLanguage "OrganizationalProcess は、正式に構成さ れた政府に対して、またはそれに対して行われる。例えば、提案された法律の投票、政府の代表者選出、革命 での政府転覆など。") japanese_format.kif 1714-1716
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10750-10750

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2645-2645
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 13931-13931
(subclass JudicialProcess PoliticalProcess) Merge.kif 10771-10771
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 13902-13902
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10810-10810
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 13821-13821
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 13872-13872
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 13876-13876
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 883-883
(termFormat ChineseLanguage PoliticalProcess "政治过程") chinese_format.kif 1103-1103
(termFormat EnglishLanguage PoliticalProcess "political process") english_format.kif 1423-1423
(termFormat FrenchLanguage PoliticalProcess "processus polotique") french_format.kif 781-781
(termFormat Hindi PoliticalProcess "raajanaitika prakriyaa") terms-hindi.txt 313-313
(termFormat ItalianLanguage PoliticalProcess "ProcessoPolitico") terms-it.txt 316-316
(termFormat JapaneseLanguage PoliticalProcess "政治的プロセス") japanese_format.kif 2465-2465
(termFormat PortugueseLanguage PoliticalProcess "Processo Politico") portuguese_format.kif 733-733
(termFormat cz PoliticalProcess "political process") terms-cz.txt 352-352
(termFormat ro PoliticalProcess "proces politic") relations-ro.kif 802-802
(termFormat tg PoliticalProcess "paraan ng politika") terms-tg.txt 317-317

antecedent
-------------------------


(=>
    (instance ?PROC PoliticalProcess)
    (exists (?POL)
        (and
            (or
                (instance ?POL Government)
                (exists (?GOV)
                    (and
                        (instance ?GOV Government)
                        (member ?POL ?GOV))))
            (or
                (agent ?PROC ?POL)
                (patient ?PROC ?POL)))))
Merge.kif 10757-10769

consequent
-------------------------


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14072-14077
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14079-14085
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 22536-22541
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16649-16654


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