No TPTP formula. May not be expressible in strict first order. |
naics.kif 8283-8283 |
一般货运卡车当地 是 一般货运卡车 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8290-8290 |
一般货运长途运输 是 一般货运卡车 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25668-25668 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25667-25667 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25666-25666 |
|