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。例子会是投票就拟议的立法、选举政府代表或甚至是推翻政府的革命。") 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 10774-10777
(documentation PoliticalProcess JapaneseLanguage "OrganizationalProcess は、正式に構成さ れた政府に対して、またはそれに対して行われる。例えば、提案された法律の投票、政府の代表者選出、革命 での政府転覆など。") japanese_format.kif 1714-1716
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10772-10772

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2645-2645
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 13930-13930
(subclass JudicialProcess PoliticalProcess) Merge.kif 10793-10793
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 13901-13901
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10832-10832
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 13820-13820
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 13871-13871
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 13875-13875
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 883-883
(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 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 10779-10791

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14094-14099
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14101-14107
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 22535-22540
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16671-16676


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 is open source software produced by Articulate Software and its partners