No TPTP formula. May not be expressible in strict first order. |
naics.kif 7919-7919 |
子屬性 暖油經銷商 and 燃料經銷商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7926-7926 |
子屬性 液化石油氣瓶裝氣體經銷商 and 燃料經銷商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7933-7933 |
子屬性 其他燃料經銷商 and 燃料經銷商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25166-25166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25165-25165 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25164-25164 |
|