No TPTP formula. May not be expressible in strict first order. |
naics.kif 12026-12026 |
子屬性 工業洗衣店 and 亞麻和製服供應 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12020-12020 |
子屬性 亞麻供應 and 亞麻和製服供應 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34523-34523 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34522-34522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34521-34521 |
|