Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalOrganization
PoliticalOrganization

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


(subclass PoliticalOrganization Organization) Merge.kif 17002-17002
(documentation PoliticalOrganization EnglishLanguage "An Organization that is attempting to bring about some sort of political change.") Merge.kif 17003-17004

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


(subclass MilitaryForce PoliticalOrganization) Merge.kif 17013-17013
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 24895-24895
(instance PalestinianLiberationOrganization PoliticalOrganization) CountriesAndRegions.kif 3907-3907
(subclass PoliticalCoalition PoliticalOrganization) Government.kif 2213-2213
(subclass PoliticalParty PoliticalOrganization) Government.kif 2220-2220
(subclass PoliticalPressureGroup PoliticalOrganization) Government.kif 2315-2315
(termFormat EnglishLanguage PoliticalOrganization "political organization") english_format.kif 1353-1353

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners