No TPTP formula. May not be expressible in strict first order. |
naics.kif 7042-7042 |
子屬性 汽車經銷商 and 汽車及零部件經銷商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7098-7098 |
子屬性 汽車零配件和輪胎店 and 汽車及零部件經銷商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7060-7060 |
子屬性 其他汽車經銷商 and 汽車及零部件經銷商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38871-38871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38870-38870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38869-38869 |
|