Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LowPressureWeatherSystem

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


(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10997-10997 Political process is a subclass of organizational process
(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 10999-11002 Political process is a subclass of organizational process

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


(subclass JudicialProcess PoliticalProcess) Merge.kif 11018-11018 Judicial process is a subclass of political process
(subclass MilitaryProcess PoliticalProcess) Merge.kif 11057-11057 Military process is a subclass of political process
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 873-873 Registering is a subclass of political process
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 15418-15418 Passing a bill is a subclass of political process
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 15473-15473 Political crime is a subclass of political process
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 15477-15477 Political revolution is a subclass of political process
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 15503-15503 Law enforcement is a subclass of political process
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 15532-15532 Espionage is a subclass of political process
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2720-2720 Demonstration is a subclass of political process
(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52 Afghan United Nations status determination is a subclass of political process
(termFormat EnglishLanguage PoliticalProcess "political process") english_format.kif 1427-1427 Afghan United Nations status determination is a subclass of political process

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 11004-11016 If X is an instance of political process, then there exists Y such that Y is an instance of government, there exists Z such that Z is an instance of government, Y is a member of Z, and Y is an agent of X, or Y is a patient of X

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))		 Merge.kif 14386-14391 If X is an instance of election, Y is an agent of X, and Y is an instance of geopolitical area, then X is an instance of political process
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))		 Merge.kif 14393-14399 If X is an instance of election, Y is an agent of X, Z is an instance of geopolitical area, and Y is an instance of the government of Z, then X is an instance of political process
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))		 Merge.kif 17006-17011 If X is an instance of political organization, then there exists Y such that Y is an instance of political process and X is an agent of Y
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))		 Mid-level-ontology.kif 24813-24818 If political figure is an attribute of X, then there exists Y such that X is an agent of Y and Y is an instance of political process


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners