No TPTP formula. May not be expressible in strict first order. |
Government.kif 4014-4014 |
"UNSSC" is an abbreviation of united nations system staff college |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4013-4013 |
United nations system staff college is a conventional long name of "United Nations Systems Staff College" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60302-60302 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60301-60301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60300-60300 |
|