No TPTP formula. May not be expressible in strict first order. |
naics.kif 9742-9742 |
消费电子和家电租赁 是 消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9750-9750 |
正式服装和服装租赁 是 消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9763-9763 |
其他消费品租赁 是 消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9757-9757 |
录像带和光盘租赁 是 消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16872-16872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16871-16871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16870-16870 |
|