No TPTP formula. May not be expressible in strict first order. |
Government.kif 3150-3150 |
运输协调 是 经济合作组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2670-2670 |
民航合作 是 运输协调 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58994-58994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58993-58993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58992-58992 |
|