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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalProcess
PoliticalProcess(political process)Europeanise, Europeanize, Nazification, Satyagraha, Stalinisation, Stalinization, abrogation, action, activist, activistic, ally_with, annulment, anti-war_movement, apolitical, ascend, banish, bar, bolshevise, bolshevize, bossism, break_away, call_up, campaign, campaigning, candidacy, candidature, cause, centralisation, centralization, centrifugal, charm_campaign, civil_disobedience, coexist, collectivisation, collectivization, colonisation, colonise, colonization, colonize, communisation, communise, communization, communize, compliance, confederate, conscript, constitutionally, consumerism, contumacy, correctional_rehabilitation...

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 10653-10656
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10651-10651 Political process is a subclass of organizational process

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52 AfghanUnitedNationsStatusDetermination is a subclass of political process
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2644-2644 Demonstration is a subclass of political process
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 13450-13450 Espionage is a subclass of political process
(subclass JudicialProcess PoliticalProcess) Merge.kif 10672-10672 Judicial process is a subclass of political process
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 13421-13421 Law enforcement is a subclass of political process
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10709-10709 Military process is a subclass of political process
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 13340-13340 PassingA bill is a subclass of political process
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 13391-13391 Political crime is a subclass of political process
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 13395-13395 Political revolution is a subclass of political process
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 850-850 Registering is a subclass of political process
(termFormat ChineseLanguage PoliticalProcess "政治过程") chinese_format.kif 1103-1103
(termFormat EnglishLanguage PoliticalProcess "political process") english_format.kif 1423-1423

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 10658-10670

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 13841-13846
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 13848-13854
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 22067-22072
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16395-16400


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