No TPTP formula. May not be expressible in strict first order. |
naics.kif 9700-9700 |
乘用车租赁和出租 是 汽车设备租赁和租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9728-9728 |
卡车实用拖车和房车休闲车租赁和承租 是 汽车设备租赁和租赁 的 subAttribute |
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 |
|