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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalProcess
PoliticalProcess(processus polotique)

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

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


(subclass AfghanUnitedNationsStatusDetermination PoliticalProcess) TransnationalIssues.kif 52-52 AfghanUnitedNationsStatusDetermination est une sous-classe de processus polotique
(subclass Demonstration PoliticalProcess) MilitaryProcesses.kif 2679-2679 Demonstration est une sous-classe de processus polotique
(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 15302-15302 Espionage est une sous-classe de processus polotique
(subclass JudicialProcess PoliticalProcess) Merge.kif 10909-10909 JudicialProcess est une sous-classe de processus polotique
(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 15273-15273 LawEnforcement est une sous-classe de processus polotique
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10948-10948 Processus militaire est une sous-classe de processus polotique
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 15192-15192 PassingABill est une sous-classe de processus polotique
(subclass PoliticalCrime PoliticalProcess) Mid-level-ontology.kif 15243-15243 PoliticalCrime est une sous-classe de processus polotique
(subclass PoliticalRevolution PoliticalProcess) Mid-level-ontology.kif 15247-15247 PoliticalRevolution est une sous-classe de processus polotique
(subclass Registering PoliticalProcess) Mid-level-ontology.kif 876-876 Registering est une sous-classe de processus polotique
(termFormat ChineseLanguage PoliticalProcess "政治过程") chinese_format.kif 1103-1103 Registering est une sous-classe de processus polotique
(termFormat EnglishLanguage PoliticalProcess "political process") english_format.kif 1423-1423 Registering est une sous-classe de processus polotique
(termFormat FrenchLanguage PoliticalProcess "processus polotique") french_format.kif 781-781 Registering est une sous-classe de processus polotique
(termFormat Hindi PoliticalProcess "raajanaitika prakriyaa") terms-hindi.txt 313-313 Registering est une sous-classe de processus polotique
(termFormat ItalianLanguage PoliticalProcess "ProcessoPolitico") terms-it.txt 316-316 Registering est une sous-classe de processus polotique
(termFormat JapaneseLanguage PoliticalProcess "政治的プロセス") japanese_format.kif 2465-2465 Registering est une sous-classe de processus polotique
(termFormat PortugueseLanguage PoliticalProcess "Processo Politico") portuguese_format.kif 733-733 Registering est une sous-classe de processus polotique
(termFormat cz PoliticalProcess "political process") terms-cz.txt 352-352 Registering est une sous-classe de processus polotique
(termFormat de PoliticalProcess "politischer Prozess") terms-de.txt 611-611 Registering est une sous-classe de processus polotique
(termFormat ro PoliticalProcess "proces politic") relations-ro.kif 802-802 Registering est une sous-classe de processus polotique
(termFormat tg PoliticalProcess "paraan ng politika") terms-tg.txt 317-317 Registering est une sous-classe de processus polotique

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

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


(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AGENT GeopoliticalArea))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14225-14230
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))
Merge.kif 14232-14238
(=>
    (attribute ?X PoliticalFigure)
    (exists (?EV)
        (and
            (agent ?EV ?X)
            (instance ?EV PoliticalProcess))))
Mid-level-ontology.kif 24177-24182
(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 16824-16829


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



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