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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalProcess

Sigma KEE - PoliticalProcess
PoliticalProcess

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


(documentation PoliticalProcess ChineseLanguage "这是由官方成立政府举行、支持或反对官方成立的政府的 OrganizationalProcess。例子会是投票就拟议的立法、选举政府代表或甚至是推翻政府的革命。") Merge.kif 10712-10713
(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 10708-10711
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10707-10707

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2612-2612
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 11535-11535
(subclass JudicialProcess PoliticalProcess) Merge.kif 10729-10729
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 11506-11506
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10771-10771
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 11420-11420
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 11476-11476
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 11480-11480
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 1270-1270
(termFormat ChineseLanguage PoliticalProcess "政治过程") chinese_format.kif 1103-1103
(termFormat EnglishLanguage PoliticalProcess "political process") english_format.kif 1386-1386
(termFormat JapaneseLanguage PoliticalProcess "政治的プロセス") english_format.kif 1387-1387

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

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14077-14082
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14084-14090
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 20397-20402
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16910-16915


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners