Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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, Communist, 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...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3727-3728
No TPTP formula. May not be expressible in strict first order. Merge.kif 16646-16647
No TPTP formula. May not be expressible in strict first order. Merge.kif 16645-16645 Political organization is a subclass of organization

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3907-3907 Palestinian liberation organization is an instance of political organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16656-16656 Military force is a subclass of political organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2243-2243 Political coalition is a subclass of political organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2250-2250 Political party is a subclass of political organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2345-2345 Political pressure group is a subclass of political organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22616-22616 Terrorist organization is a subclass of political organization
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1069-1069
No TPTP formula. May not be expressible in strict first order. english_format.kif 1349-1349
No TPTP formula. May not be expressible in strict first order. french_format.kif 747-747
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 279-279
No TPTP formula. May not be expressible in strict first order. terms-it.txt 282-282
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2431-2431
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 699-699
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 318-318
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 768-768
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 283-283

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16649-16654


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