No TPTP formula. May not be expressible in strict first order. |
Government.kif 2837-2837 |
"ARF" is an abbreviation of ASEAN regional forum |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2836-2836 |
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 8635-8635 |
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 |
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 8633-8633 |
ASEAN regional forum is a conventional long name of "ASEAN Regional Forum" |