| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3536-3536 |
信息标准 是 国际水文组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3594-3594 |
信息标准 是 国际标准化组织 的 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 |
|
InformationStandards