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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalOrganization

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 16646-16647
(subclass PoliticalOrganization Organization) Merge.kif 16645-16645 子類 PoliticalOrganization and Organization

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


(instance PalestinianLiberationOrganization PoliticalOrganization) CountriesAndRegions.kif 3907-3907 巴勒斯坦解放組織 and PoliticalOrganization
(subclass MilitaryForce PoliticalOrganization) Merge.kif 16656-16656 子類 軍事力量 and PoliticalOrganization
(subclass PoliticalCoalition PoliticalOrganization) Government.kif 2243-2243 子類 政治聯盟 and PoliticalOrganization
(subclass PoliticalParty PoliticalOrganization) Government.kif 2250-2250 子類 政治黨派 and PoliticalOrganization
(subclass PoliticalPressureGroup PoliticalOrganization) Government.kif 2345-2345 子類 政治壓力集團 and PoliticalOrganization
(subclass TerroristOrganization PoliticalOrganization) Mid-level-ontology.kif 22616-22616 子類 恐怖組織 and PoliticalOrganization
(termFormat ChineseLanguage PoliticalOrganization "政治机构") chinese_format.kif 1069-1069
(termFormat EnglishLanguage PoliticalOrganization "political organization") english_format.kif 1349-1349
(termFormat FrenchLanguage PoliticalOrganization "organisation politique") french_format.kif 747-747
(termFormat Hindi PoliticalOrganization "raajanItika sansthaa") terms-hindi.txt 279-279
(termFormat ItalianLanguage PoliticalOrganization "OrganizzazionePolitica") terms-it.txt 282-282
(termFormat JapaneseLanguage PoliticalOrganization "政治組織") japanese_format.kif 2431-2431
(termFormat PortugueseLanguage PoliticalOrganization "Organizacao Politica") portuguese_format.kif 699-699
(termFormat cz PoliticalOrganization "political organization") terms-cz.txt 318-318
(termFormat ro PoliticalOrganization "organizaþie politicã") relations-ro.kif 768-768
(termFormat tg PoliticalOrganization "kapisanan ng politika") terms-tg.txt 283-283

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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