No TPTP formula. May not be expressible in strict first order. |
naics.kif 11763-11763 |
汽车车身漆内部和玻璃修复 是 汽车维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11728-11728 |
汽车机电维修 是 汽车维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11785-11785 |
其他汽车维修和保养 是 汽车维修和保养 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9288-9288 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9287-9287 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9286-9286 |
|