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