|
|
   ParamilitaryOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16673-16673 | 不相交的 輔助的軍事組織 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3733-3734 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16674-16676 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8640-8640 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16672-16672 | 子類 輔助的軍事組織 and 軍事力量 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44412-44412 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44411-44411 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44410-44410 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 204-208 |
|
|
|
