No TPTP formula. May not be expressible in strict first order. |
Government.kif 3253-3253 |
abbreviation "G-6" and GroupOf6 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3252-3252 |
conventionalLongName "Group of 6" and GroupOf6 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3254-3254 |
localLongName "Groupe des Six Sur le Desarmement" and GroupOf6 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26778-26778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26777-26777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26776-26776 |
|