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 10875-10878
(documentation PoliticalProcess JapaneseLanguage "OrganizationalProcess は、正式に構成さ れた政府に対して、またはそれに対して行われる。例えば、提案された法律の投票、政府の代表者選出、革命 での政府転覆など。") japanese_format.kif 1714-1716
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10873-10873

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2679-2679
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 15320-15320
(subclass JudicialProcess PoliticalProcess) Merge.kif 10894-10894
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 15291-15291
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10933-10933
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 15210-15210
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 15261-15261
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 15265-15265
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 876-876
(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 de PoliticalProcess "politischer Prozess") terms-de.txt 611-611
(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 10880-10892

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14210-14215
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14217-14223
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 24196-24201
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16809-16814


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