No TPTP formula. May not be expressible in strict first order. |
naics.kif 7104-7104 |
子屬性 汽車零配件商店 and 汽車零配件和輪胎店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7112-7112 |
子屬性 輪胎經銷商 and 汽車零配件和輪胎店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9276-9276 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9275-9275 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9274-9274 |
|