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 10786-10789
(documentation PoliticalProcess JapaneseLanguage "OrganizationalProcess は、正式に構成さ れた政府に対して、またはそれに対して行われる。例えば、提案された法律の投票、政府の代表者選出、革命 での政府転覆など。") japanese_format.kif 1714-1716
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10784-10784

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 13958-13958
(subclass JudicialProcess PoliticalProcess) Merge.kif 10805-10805
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 13929-13929
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10844-10844
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 13848-13848
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 13899-13899
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 13903-13903
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 876-876
(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 10791-10803

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14118-14123
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14125-14131
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 22588-22593
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16720-16725


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