No TPTP formula. May not be expressible in strict first order. |
Government.kif 2490-2490 |
咨询委员会 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2470-2470 |
协会成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2494-2494 |
合伙人 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2488-2488 |
董事会成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2483-2483 |
第III类成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2482-2482 |
CategoryII成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2481-2481 |
CategoryI成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2489-2489 |
专员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2473-2473 |
合作国家 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2484-2484 |
通讯员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2471-2471 |
对话伙伴 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2486-2486 |
执行委员会成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2487-2487 |
执行委员会成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2466-2466 |
正式会员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2472-2472 |
客人身份 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2493-2493 |
国际或非地区成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2475-2475 |
会员申请人 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2476-2476 |
会员保留中 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2492-2492 |
非永久性地位 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2468-2468 |
非地区成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2477-2477 |
非国家参与者 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2467-2467 |
观察员地位 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2480-2480 |
PartII成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2479-2479 |
PartI成员 是 会员身份 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2474-2474 |
合作伙伴 是 会员身份 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |