No TPTP formula. May not be expressible in strict first order. |
naics.kif 11770-11770 |
汽车车身漆和内部维修保养 是 汽车车身漆内部和玻璃修复 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11778-11778 |
汽车玻璃更换店 是 汽车车身漆内部和玻璃修复 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9240-9240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9239-9239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9238-9238 |
|