No TPTP formula. May not be expressible in strict first order. |
naics.kif 7907-7907 |
子屬性 直銷場所 and 非商店零售商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7895-7895 |
子屬性 電子購物和郵購房屋 and 非商店零售商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7901-7901 |
子屬性 自動售貨機運營商 and 非商店零售商 |
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 |
|