No TPTP formula. May not be expressible in strict first order. |
naics.kif 3400-3400 |
子屬性 肥皂和清潔化合物製造 and 肥皂清潔化合物和廁所製備製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3427-3427 |
子屬性 廁所準備製造 and 肥皂清潔化合物和廁所製備製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53588-53588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53587-53587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53586-53586 |
|