No TPTP formula. May not be expressible in strict first order. |
naics.kif 5714-5714 |
汽车制造业 是 汽车和轻型汽车制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5721-5721 |
轻型卡车和多功能车制造业 是 汽车和轻型汽车制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9204-9204 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9203-9203 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9202-9202 |
|