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


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalOrganization
PoliticalOrganization(political organization)AFISR, AFRL, AI, Air_Force_ISR, Air_Force_Intelligence_Surveillance_and_Reconnaissance, Air_Force_Research_Laboratory, Allies, Army_Intelligence, Association_of_Orangemen, Axis, BJA, BJS, BMDO, Ballistic_Missile_Defense_Organization, Benelux, Blackshirt, Bolshevik, Bolshevist, Bolshevistic, Boy_Scouts, Brownshirt, Bureau_of_Diplomatic_Security, Bureau_of_Intelligence_and_Research, Bureau_of_Justice_Assistance, Bureau_of_Justice_Statistics, CCRC, CDC, CORE, CTC, Casualty_Care_Research_Center, Center_for_Disease_Control_and_Prevention, Central_Powers, Centre_for_International_Crime_Prevention, Civil_Rights_movement, Commission_on_Human_Rights, Commission_on_Narcotic_Drugs, Commission_on_the_Status_of_Women, Confederate_soldier, Congress_of_Racial_Equality, Counterterrorist_Center, DARPA, DCCP, DISA, DOEI, DS, Defense_Advanced_Research_Projects_Agency, Defense_Information_Systems_Agency, Democrat, Department_of_Defense_Laboratory_System, Department_of_Energy_Intelligence...

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


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

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


(subclass MilitaryForce PoliticalOrganization) Merge.kif 17013-17013 Military force is a subclass of political organization
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 24895-24895 Terrorist organization is a subclass of political organization
(instance PalestinianLiberationOrganization PoliticalOrganization) CountriesAndRegions.kif 3907-3907 Palestinian liberation organization is an instance of political organization
(subclass PoliticalCoalition PoliticalOrganization) Government.kif 2213-2213 Political coalition is a subclass of political organization
(subclass PoliticalParty PoliticalOrganization) Government.kif 2220-2220 Political party is a subclass of political organization
(subclass PoliticalPressureGroup PoliticalOrganization) Government.kif 2315-2315 Political pressure group is a subclass of political organization
(termFormat EnglishLanguage PoliticalOrganization "political organization") english_format.kif 1353-1353 Political pressure group is a subclass of political organization

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


(=>
    (instance ?POL PoliticalOrganization)
    (exists (?PROC)
        (and
            (instance ?PROC PoliticalProcess)
            (agent ?PROC ?POL))))
Merge.kif 17006-17011 If X is an instance of political organization, then there exists Y such that Y is an instance of political process and X is an agent of Y


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