No TPTP formula. May not be expressible in strict first order. |
naics.kif 7042-7042 |
汽车经销商 是 汽车及零部件经销商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7098-7098 |
汽车零配件和轮胎店 是 汽车及零部件经销商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7060-7060 |
其他汽车经销商 是 汽车及零部件经销商 的 subAttribute |
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 |
|