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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParamilitaryOrganization
ParamilitaryOrganization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16744-16744
(documentation ParamilitaryOrganization ChineseLanguage "这是一个很像 MilitaryOrganizationOrganization,也就是说它是由武装战士所组成,只是它和 Government 没有联系。") chinese_format.kif 3733-3734
(documentation ParamilitaryOrganization EnglishLanguage "An Organization which is much like a MilitaryOrganization, e.g. it is made up of armed fighters, except that it is not associated with a Government.") Merge.kif 16745-16747
(externalImage ParamilitaryOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a6/ 1265726827_d46b744aaf_o.jpg") pictureList.kif 8640-8640
(subclass ParamilitaryOrganization MilitaryForce) Merge.kif 16743-16743

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


(termFormat ChineseLanguage ParamilitaryOrganization "辅助的军事组织") domainEnglishFormat.kif 44414-44414
(termFormat ChineseTraditionalLanguage ParamilitaryOrganization "輔助的軍事組織") domainEnglishFormat.kif 44413-44413
(termFormat EnglishLanguage ParamilitaryOrganization "paramilitary organization") domainEnglishFormat.kif 44412-44412

consequent
-------------------------


(=>
    (and
        (instance ?GW GuerrillaWarfare)
        (patient ?GW ?PATIENT))
    (instance ?PATIENT ParamilitaryOrganization))
MilitaryProcesses.kif 204-208


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