No TPTP formula. May not be expressible in strict first order. |
naics.kif 9785-9785 |
所有其他消费品租赁 是 其他消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9769-9769 |
家庭健康设备租赁 是 其他消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9777-9777 |
休闲用品租赁 是 其他消费品租赁 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42888-42888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42887-42887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42886-42886 |
|