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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalOrganization
PoliticalOrganization

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


(documentation PoliticalOrganization ChineseLanguage "这是一个试图带来某些政治上的改变的 Organization。") chinese_format.kif 3727-3728
(documentation PoliticalOrganization EnglishLanguage "An Organization that is attempting to bring about some sort of political change.") Merge.kif 15456-15457
(subclass PoliticalOrganization Organization) Merge.kif 15455-15455

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


(instance PalestinianLiberationOrganization PoliticalOrganization) CountriesAndRegions.kif 3909-3909
(subclass MilitaryForce PoliticalOrganization) Merge.kif 15466-15466
(subclass PoliticalCoalition PoliticalOrganization) Government.kif 2197-2197
(subclass PoliticalParty PoliticalOrganization) Government.kif 2204-2204
(subclass PoliticalPressureGroup PoliticalOrganization) Government.kif 2286-2286
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 20548-20548
(termFormat ChineseLanguage PoliticalOrganization "政治机构") chinese_format.kif 1069-1069
(termFormat EnglishLanguage PoliticalOrganization "political organization") english_format.kif 1354-1354

antecedent
-------------------------


(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 15459-15464


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