No TPTP formula. May not be expressible in strict first order. |
Government.kif 2876-2876 |
"ARF" is an abbreviation of ASEAN regional forum |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2875-2875 |
ASEAN regional forum is a conventional long name of "ASEAN Regional Forum" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8634-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8633-8633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8632-8632 |
|