No TPTP formula. May not be expressible in strict first order. |
Government.kif 3289-3289 |
"G-6" is an abbreviation of group of6 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3288-3288 |
Group of6 is a conventional long name of "Group of 6" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3290-3290 |
Group of6 is a local long name of "Groupe des Six Sur le Desarmement" |
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 |
|