No TPTP formula. May not be expressible in strict first order. |
Government.kif 4227-4227 |
例 聯合國在科索沃的臨時行政當局 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3989-3989 |
例 聯合國區域間犯罪和司法研究所 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4229-4229 |
例 聯合國伊拉克科威特邊界劃界委員會 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4006-4006 |
例 聯合國項目服務辦公室 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4153-4153 |
例 聯合國社會發展研究所 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4166-4166 |
例 聯合國秘書處 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4260-4260 |
例 聯合國大學 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2526-2526 |
子類 國際組織 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30655-30655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30654-30654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30653-30653 |
|