No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16673-16673 |
Paramilitary organization is disjoint from government organization |
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 |
Paramilitary organization is a subclass of military force |