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 10075-10078
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10073-10073

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2625-2625
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 10712-10712
(subclass JudicialProcess PoliticalProcess) Merge.kif 10094-10094
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 10683-10683
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10131-10131
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 10602-10602
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 10653-10653
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 10657-10657
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 826-826
(termFormat ChineseLanguage PoliticalProcess "政治过程") chinese_format.kif 1103-1103
(termFormat EnglishLanguage PoliticalProcess "political process") english_format.kif 1428-1428

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 10080-10092

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 13086-13091
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 13093-13099
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 18972-18977
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 15525-15530


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