No TPTP formula. May not be expressible in strict first order. |
naics.kif 5714-5714 |
子屬性 汽車製造業 and 汽車和輕型汽車製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5721-5721 |
子屬性 輕型卡車和多功能車製造業 and 汽車和輕型汽車製造業 |
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 |
|