No TPTP formula. May not be expressible in strict first order. |
Government.kif 2950-2950 |
abbreviation "CIS" and CommonwealthOfIndependentStates |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2949-2949 |
conventionalLongName "Commonwealth of Independent States" and CommonwealthOfIndependentStates |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15990-15990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15989-15989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15988-15988 |
|