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 政治过程机构性过程subclass

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52 AfghanUnitedNationsStatusDetermination政治过程subclass
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2645-2645 示范政治过程subclass
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 13930-13930 间谍政治过程subclass
(subclass JudicialProcess PoliticalProcess) Merge.kif 10793-10793 司法程序政治过程subclass
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 13901-13901 执法政治过程subclass
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10832-10832 军事过程政治过程subclass
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 13820-13820 通过法案政治过程subclass
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 13871-13871 政治犯罪政治过程subclass
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 13875-13875 政治革命政治过程subclass
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 883-883 注册政治过程subclass
(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