No TPTP formula. May not be expressible in strict first order. |
naics.kif 7913-7913 |
子屬性 燃料經銷商 and 直銷場所 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7939-7939 |
子屬性 其他直銷場所 and 直銷場所 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19746-19746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19745-19745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19744-19744 |
|