No TPTP formula. May not be expressible in strict first order. |
Government.kif 2876-2876 |
abbreviation "ARF" and ASEANRegionalForum |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2875-2875 |
conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum |
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 |
|