No TPTP formula. May not be expressible in strict first order. |
Government.kif 2802-2802 |
行政和管理 是 南极条约理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4009-4009 |
行政和管理 是 联合国项目服务办公室 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2626-2626 |
过渡政府 是 行政和管理 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5454-5454 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5453-5453 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5452-5452 |
|