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