No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16744-16744 |
ParamilitaryOrganization e' disjunto de GovernmentOrganization |
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 16745-16747 |
|
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 16743-16743 |
ParamilitaryOrganization e' uma sub-classe de MilitaryForce |