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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParamilitaryOrganization
ParamilitaryOrganization(paramilitary organization)
Contras, Pesh_Merga

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16769-16769 Paramilitary organization is disjoint from government organization
(documentation ParamilitaryOrganization ChineseLanguage "这是一个很像 MilitaryOrganizationOrganization,也就是说它是由武装战士所组成,只是它和 Government 没有联系。") chinese_format.kif 3733-3734 Paramilitary organization is disjoint from government organization
(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 16770-16772 Paramilitary organization is disjoint from government organization
(externalImage ParamilitaryOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a6/ 1265726827_d46b744aaf_o.jpg") pictureList.kif 8639-8639 Paramilitary organization is disjoint from government organization
(subclass ParamilitaryOrganization MilitaryForce) Merge.kif 16768-16768 Paramilitary organization is a subclass of military force

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


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

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