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 16744-16744 Paramilitary organization is disjoint from government organization
(documentation ParamilitaryOrganization ChineseLanguage "这是一个很像 MilitaryOrganization 的 Organization，也就是说它是由武装战士所组成，只是它和 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 16745-16747 Paramilitary organization is disjoint from government organization
(externalImage ParamilitaryOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a6/ 1265726827_d46b744aaf_o.jpg") pictureList.kif 8640-8640 Paramilitary organization is disjoint from government organization
(subclass ParamilitaryOrganization MilitaryForce) Merge.kif 16743-16743 Paramilitary organization is a subclass of military force

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


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

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