No TPTP formula. May not be expressible in strict first order. |
naics.kif 8061-8061 |
线路运输铁路 是 铁路运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8067-8067 |
短线铁路 是 铁路运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48656-48656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48655-48655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48654-48654 |
|