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 16833-16833 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 16834-16836 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 16832-16832 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