No TPTP formula. May not be expressible in strict first order. |
Government.kif 3298-3298 |
abbreviation "G-11" and GroupOf11 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3297-3297 |
conventionalLongName "Cartagena Group" and GroupOf11 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3296-3296 |
conventionalLongName "Group of 11" and GroupOf11 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26748-26748 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26747-26747 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26746-26746 |
|