No TPTP formula. May not be expressible in strict first order. |
Government.kif 3505-3505 |
國際紅十字會和紅新月會聯合會 是 "IFRCS" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3504-3504 |
國際紅十字會和紅新月會聯合會 是 "International Federation of Red Cross and Red Crescent Societies" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3507-3507 |
"LORCS" 是對於 國際紅十字會和紅新月會聯合會 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3506-3506 |
"League of Red Cross and Red Crescent Societies" 是對於 國際紅十字會和紅新月會聯合會 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30589-30589 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30588-30588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30587-30587 |
|