No TPTP formula. May not be expressible in strict first order. |
naics.kif 7907-7907 |
直销场所 是 非商店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7895-7895 |
电子购物和邮购房屋 是 非商店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7901-7901 |
自动售货机运营商 是 非商店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40887-40887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40886-40886 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40885-40885 |
|