No TPTP formula. May not be expressible in strict first order. |
Government.kif 3500-3500 |
信息标准 是 国际水文组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3558-3558 |
信息标准 是 国际标准化组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30055-30055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30054-30054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30053-30053 |
|