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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalOrganization
PoliticalOrganization(organisation politique)

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 16821-16822
(subclass PoliticalOrganization Organization) Merge.kif 16820-16820 Organisation politique est une sous-classe de organisation

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


(instance PalestinianLiberationOrganization PoliticalOrganization) CountriesAndRegions.kif 3902-3902 PalestinianLiberationOrganization est une instance de organisation politique
(subclass MilitaryForce PoliticalOrganization) Merge.kif 16831-16831 MilitaryForce est une sous-classe de organisation politique
(subclass PoliticalCoalition PoliticalOrganization) Government.kif 2204-2204 PoliticalCoalition est une sous-classe de organisation politique
(subclass PoliticalParty PoliticalOrganization) Government.kif 2211-2211 PoliticalParty est une sous-classe de organisation politique
(subclass PoliticalPressureGroup PoliticalOrganization) Government.kif 2306-2306 PoliticalPressureGroup est une sous-classe de organisation politique
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 24257-24257 TerroristOrganization est une sous-classe de organisation politique
(termFormat ChineseLanguage PoliticalOrganization "政治机构") chinese_format.kif 1069-1069 TerroristOrganization est une sous-classe de organisation politique
(termFormat EnglishLanguage PoliticalOrganization "political organization") english_format.kif 1349-1349 TerroristOrganization est une sous-classe de organisation politique
(termFormat FrenchLanguage PoliticalOrganization "organisation politique") french_format.kif 747-747 TerroristOrganization est une sous-classe de organisation politique
(termFormat Hindi PoliticalOrganization "raajanItika sansthaa") terms-hindi.txt 279-279 TerroristOrganization est une sous-classe de organisation politique
(termFormat ItalianLanguage PoliticalOrganization "OrganizzazionePolitica") terms-it.txt 282-282 TerroristOrganization est une sous-classe de organisation politique
(termFormat JapaneseLanguage PoliticalOrganization "政治組織") japanese_format.kif 2431-2431 TerroristOrganization est une sous-classe de organisation politique
(termFormat PortugueseLanguage PoliticalOrganization "Organizacao Politica") portuguese_format.kif 699-699 TerroristOrganization est une sous-classe de organisation politique
(termFormat cz PoliticalOrganization "political organization") terms-cz.txt 318-318 TerroristOrganization est une sous-classe de organisation politique
(termFormat de PoliticalOrganization "politische Organisation") terms-de.txt 577-577 TerroristOrganization est une sous-classe de organisation politique
(termFormat ro PoliticalOrganization "organizaþie politicã") relations-ro.kif 768-768 TerroristOrganization est une sous-classe de organisation politique
(termFormat tg PoliticalOrganization "kapisanan ng politika") terms-tg.txt 283-283 TerroristOrganization est une sous-classe de organisation politique

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


(=>
    (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