No TPTP formula. May not be expressible in strict first order. |
naics.kif 9700-9700 |
子屬性 乘用車租賃和出租 and 汽車設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9728-9728 |
子屬性 卡車實用拖車和房車休閒車租賃和承租 and 汽車設備租賃和租賃 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9246-9246 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9245-9245 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9244-9244 |
|